関数 かんすう 型 がた 英 えい functional programming ）とは、数学 すうがく 的 てき 意味 いみ 関数 かんすう 主 おも 使 つか [1] 関数 かんすう 訳 やく [2]
関数 かんすう 型 がた 言語 げんご 英 えい functional programming language ）とは、関数 かんすう 型 がた 推奨 すいしょう プログラミング言語 げんご である[1] 略 りゃく 関数 かんすう 型 がた 言語 げんご 英 えい functional language ）ともいう[1]
関数 かんすう 型 がた 関数 かんすう 主軸 しゅじく 行 おこな [1] 関数 かんすう 数学 すうがく 的 てき 指 さ 引数 ひきすう 値 ね 定 さだ 結果 けっか 定 さだ 参照 さんしょう 透過 とうか 性 せい 持 も [1]
参照 さんしょう 透過 とうか 性 せい 数学 すうがく 的 てき 関数 かんすう 同 おな 同 おな 値 ち 返 かえ 式 しき 与 あた 必 かなら 同 おな 値 ち 返 かえ 性質 せいしつ [1] 次 つぎ square 関数 かんすう 2 となるような式 しき 与 あた 必 かなら 4 を返 かえ 3 となるような式 しき 与 あた 必 かなら 9 を返 かえ 状況 じょうきょう 別 べつ 値 ね 返 かえ 参照 さんしょう 透過 とうか 性 せい 持 も 関数 かんすう 一 いち 例 れい [1]
def square ( n ):
return n ** 2
次 つぎ countup 関数 かんすう 同 おな 1 を渡 わた countup 関数 かんすう 引数 ひきすう 呼 よ 返 がえ 値 ち 1, 2, 3, ... と変化 へんか 引数 ひきすう 値 ね 結果 けっか 値 ね 定 さだ 参照 さんしょう 透過 とうか 性 せい 関数 かんすう 数学 すうがく 的 てき 関数 かんすう [1]
counter = 0
def countup ( n ):
global counter
counter += n
return counter
関数 かんすう 型 がた 参照 さんしょう 透過 とうか 性 せい 持 も 数学 すうがく 的 てき 関数 かんすう 使 つか 組 く 立 た 式 しき 主役 しゅやく [1] 別 べつ 箇所 かしょ 定義 ていぎ 処理 しょり 利用 りよう 手続 てつづ 型 がた 言語 げんご 関数 かんすう 実行 じっこう 関数 かんすう 呼 よ 出 だ 表現 ひょうげん 関数 かんすう 型 がた 言語 げんご 式 しき 評価 ひょうか 表現 ひょうげん 良 よ 使 つか [3]
参照 さんしょう 透過 とうか 性 せい 同 おな 値 ち 与 あた 返 がえ 値 ち 必 かなら 同 おな 性質 せいしつ [1] 参照 さんしょう 透過 とうか 性 せい 持 も 関数 かんすう 状態 じょうたい 持 も 保証 ほしょう [4] 状態 じょうたい 持 も 数学 すうがく 的 てき 関数 かんすう 並列 へいれつ 処理 しょり 実現 じつげん 適 てき [4] 関数 かんすう 型 がた 言語 げんご 内 うち 全 すべ 関数 かんすう 参照 さんしょう 透過 とうか 性 せい 持 も 純粋 じゅんすい 関数 かんすう 型 がた 言語 げんご [4]
関数 かんすう 型 がた 数学 すうがく 的 てき 関数 かんすう 組 く 合 あ 計算 けいさん 表現 ひょうげん 読 よ 書 か 外界 がいかい 取 と 要 よう 処理 しょり 直接的 ちょくせつてき 表現 ひょうげん [5] 外界 がいかい 取 と I/O (入出力 にゅうしゅつりょく と呼 よ [5] 数学 すうがく 的 てき 計算 けいさん 1 + 1 のようなプログラム内 ない 完結 かんけつ 処理 しょり 入出力 にゅうしゅつりょく 記述 きじゅつ 問題 もんだい 現実 げんじつ 的 てき [5]
非 ひ 純粋 じゅんすい 関数 かんすう 型 がた 言語 げんご 式 しき 評価 ひょうか 同時 どうじ 発生 はっせい 関数 かんすう 用意 ようい 入出力 にゅうしゅつりょく 実現 じつげん [5] F# 言語 げんご では、printfn "Hi." が評価 ひょうか () という値 ね 戻 もど 同時 どうじ 画面 がめん Hi. と表示 ひょうじ 発生 はっせい [5]
Haskell では、評価 ひょうか 同時 どうじ 行 おこな 関数 かんすう 存在 そんざい [5] putStrLn "Hi." という式 しき 評価 ひょうか IO () 型 かた 持 も 値 ね 返 かえ 画面 がめん 何 なに 表示 ひょうじ 値 ね 処理 しょり 系 けい 解釈 かいしゃく 初 はじ 画面 がめん Hi. と表示 ひょうじ [5] I/O アクション とは、ファイルの読 よ 書 か 表示 ひょうじ 表現 ひょうげん 式 しき [5] [6] IO a という型 かた 指示 しじ 表 あらわ 表現 ひょうげん [5] [7] IO はモナド と呼 よ 一 ひと [8]
Clean では、一意 いちい 型 がた 用 もち 入出力 にゅうしゅつりょく 表 あらわ
この
節 ふし の
加筆 かひつ が
望 のぞ まれています。
主 おも モナド ・永続 えいぞく 構造 こうぞう （2021年 ねん 月 がつ ）
最初 さいしょ 解 かい 集合 しゅうごう 候補 こうほ 生成 せいせい 要素 ようそ 対 たい 複数 ふくすう 解 かい 着 つ 関数 かんすう 適用 てきよう 繰 く 返 かえ 手法 しゅほう 関数 かんすう 型 がた 用 もち [9]
Haskell では、関数 かんすう 合成 ごうせい 二 に 項 こう 演算 えんざん 子 こ 使 つか ポイントフリースタイル で関数 かんすう 定義 ていぎ [9] 関数 かんすう 定義 ていぎ 関数 かんすう 目 め 行 い 移 うつ 変 か 関数 かんすう 合成 ごうせい 何 なに 意識 いしき 向 む 定義 ていぎ 読 よ 簡潔 かんけつ [9] 関数 かんすう 複雑 ふくざつ 逆 ぎゃく 可読 かどく 性 せい 悪 わる [9]
関数 かんすう 型 がた 言語 げんご 関数 かんすう 型 がた 推奨 すいしょう プログラミング言語 げんご である[1] 略 りゃく 関数 かんすう 型 がた 言語 げんご [1] 全 すべ 関数 かんすう 参照 さんしょう 透過 とうか 性 せい 持 も 特 とく 純粋 じゅんすい 関数 かんすう 型 がた 言語 げんご （英語 えいご 版 ばん [4] 非 ひ 純粋 じゅんすい [5]
関数 かんすう 型 がた 言語 げんご 多 おお 言語 げんご 設計 せっけい 何 なん 形 かたち ラムダ計算 けいさん が関 かか [3] 計算 けいさん 計算 けいさん 化 か 体系 たいけい 一 ひと 記号 きごう 列 れつ 規則 きそく 基 もと 変換 へんかん 計算 けいさん 行 おこな [3]
関数 かんすう 型 がた 言語 げんご
名前 なまえ 型付 かたつ 純粋 じゅんすい 性 せい 評価 ひょうか 戦略 せんりゃく 理論 りろん 的 てき 背景 はいけい
Clean
静的 せいてき 型付 かたつ 純粋 じゅんすい 遅延 ちえん 評価 ひょうか
Erlang
動的 どうてき 型付 かたつ 非 ひ 純粋 じゅんすい 正格 せいかく 評価 ひょうか
F#
静的 せいてき 型付 かたつ 非 ひ 純粋 じゅんすい 正格 せいかく 評価 ひょうか
Haskell [2] 静的 せいてき 型付 かたつ [2] 純粋 じゅんすい [2] 遅延 ちえん 評価 ひょうか [2] 型付 かたつ 計算 けいさん [3]
Idris
静的 せいてき 型付 かたつ 純粋 じゅんすい 正格 せいかく 評価 ひょうか 型付 かたつ 計算 けいさん
Lazy K
型 かた 純粋 じゅんすい 遅延 ちえん 評価 ひょうか コンビネータ論理 ろんり
LISP 1.5 Scheme Common Lisp Clojure
動的 どうてき 型付 かたつ 非 ひ 純粋 じゅんすい 正格 せいかく 評価 ひょうか 型 かた 無 な 計算 けいさん [3]
LISP の各種 かくしゅ 方言 ほうげん [3] 方言 ほうげん 方言 ほうげん 方言 ほうげん
Miranda
静的 せいてき 型付 かたつ 純粋 じゅんすい 遅延 ちえん 評価 ひょうか
ML Standard ML OCaml
静的 せいてき 型付 かたつ 非 ひ 純粋 じゅんすい 正格 せいかく 評価 ひょうか
Scala
静的 せいてき 型付 かたつ 非 ひ 純粋 じゅんすい 正格 せいかく 評価 ひょうか
Unlambda
型 かた 非 ひ 純粋 じゅんすい 正格 せいかく 評価 ひょうか コンビネータ論理 ろんり
Lean
静的 せいてき 型付 かたつ 純粋 じゅんすい 正格 せいかく 評価 ひょうか 型付 かたつ 計算 けいさん
C 言語 げんご や Java 、 JavaScript 、 Python 、 Ruby などの2017年 ねん 現在 げんざい 使 つか 言語 げんご 多 おお 手続 てつづ 型 がた 文法 ぶんぽう 持 も [10] 言語 げんご 文法 ぶんぽう 式 しき 文 ぶん 持 も [10] 式 しき 計算 けいさん 実行 じっこう 結果 けっか 得 え 処理 しょり 記述 きじゅつ 文法 ぶんぽう 要素 ようそ 加減乗除 かげんじょうじょ 関数 かんすう 呼 よ 出 だ 構成 こうせい [10] 文 ぶん 何 なん 動作 どうさ 行 おこな 指示 しじ 文法 ぶんぽう 要素 ようそ 条件 じょうけん 分岐 ぶんき if 文 ぶん やループの for 文 ぶん と while 文 ぶん などから構成 こうせい [10] 手続 てつづ 型 がた 文法 ぶんぽう 式 しき 必要 ひつよう 計算 けいさん 進 すす 結果 けっか 元 もと 文 ぶん 命令 めいれい 行 おこな 形 かたち 記述 きじゅつ [10] 手続 てつづ 型 がた 言語 げんご 重要 じゅうよう 文 ぶん [10]
それに対 たい 関数 かんすう 型 がた 言語 げんご 重要 じゅうよう 式 しき [10] 関数 かんすう 型 がた 言語 げんご 式 しき 構成 こうせい 一 ひと 式 しき [10] 処理 しょり 記述 きじゅつ 文 ぶん 使 つか 外部 がいぶ 定義 ていぎ 取 と 込 こ 宣言 せんげん 処理 しょり 一部 いちぶ 扱 あつか [10] 関数 かんすう 型 がた 言語 げんご 実行 じっこう 表 あらわ 式 しき 計算 けいさん 進 すす 結果 けっか 値 ね 得 え [10] 式 しき 計算 けいさん 評価 ひょうか [10]
手続 てつづ 型 がた 言語 げんご 指示 しじ 文 ぶん 上 うえ 順 じゅん 並 なら 書 か 対 たい 関数 かんすう 型 がた 言語 げんご 数多 かずおお 定義 ていぎ 細 こま 式 しき 組 く 合 あ 作 つく [10] 手続 てつづ 型 がた 言語 げんご 文 ぶん 重要 じゅうよう 関数 かんすう 型 がた 言語 げんご 式 しき 重要 じゅうよう [11]
式 しき 文 ぶん 違 ちが 型 かた 付 つ [11] 式 しき 型 かた 持 も 文 ぶん 型 かた 持 も [11] 全 すべ 式 しき 構成 こうせい 強 つよ 静的 せいてき 型付 かたつ 全体 ぜんたい 細部 さいぶ 型付 かたつ [11] 細部 さいぶ 型付 かたつ 堅固 けんご [11]
関数 かんすう 型 がた 言語 げんご 開発 かいはつ アロンゾ・チャーチ が1932年 ねん [注釈 ちゅうしゃく 年 ねん [注釈 ちゅうしゃく 発表 はっぴょう ラムダ計算 けいさん の研究 けんきゅう 基本 きほん 的 てき 重要 じゅうよう 影響 えいきょう 与 あた [12] 計算 けいさん 考 かんが 出 だ 当時 とうじ プログラム を実行 じっこう コンピュータ が存在 そんざい プログラミング言語 げんご として見 み 今 いま 最初 さいしょ 関数 かんすう 型 がた 言語 げんご [12] 年 ねん 現在 げんざい 関数 かんすう 型 がた 言語 げんご 計算 けいさん 装飾 そうしょく 加 くわ 見 み [12]
1960年 ねん ジョン・マッカーシー 等 ひとし 発表 はっぴょう LISP は関数 かんすう 型 がた 言語 げんご 歴史 れきし 重要 じゅうよう [13] 計算 けいさん 基礎 きそ 言 い 自身 じしん 年 ねん [注釈 ちゅうしゃく 説明 せつめい 匿名 とくめい 関数 かんすう 表現 ひょうげん 最初 さいしょ 手段 しゅだん 計算 けいさん 選択 せんたく 過 す [14]
歴史 れきし 的 てき 言 い LISP に続 つづ 関数 かんすう 型 がた 刺激 しげき 与 あた 年代 ねんだい 半 なか ピーター・ランディン （英語 えいご 版 ばん 成果 せいか [15] 成果 せいか ハスケル・カリー とアロンゾ・チャーチ に大 おお 影響 えいきょう 受 う [15] 初期 しょき 論文 ろんぶん 計算 けいさん 機械 きかい 高級 こうきゅう 言語 げんご ALGOL 60 ) との関係 かんけい 議論 ぎろん [15] 年 ねん [注釈 ちゅうしゃく SECD マシン と呼 よ 抽象 ちゅうしょう 的 てき 機械 きかい 使 つか 機械 きかい 的 てき 式 しき 評価 ひょうか 方法 ほうほう 論 ろん 年 ねん [注釈 ちゅうしゃく 計算 けいさん 非 ひ 自明 じめい 形式 けいしき 化 か [15] 年 ねん [注釈 ちゅうしゃく 発表 はっぴょう ISWIM （If You See What I Mean の略 りゃく 言語 げんご 群 ぐん 間違 まちが 研究 けんきゅう 成果 せいか 構文 こうぶん 意味 いみ 論 ろん 多 おお 重要 じゅうよう 含 ふく [15] 本人 ほんにん 名前 なまえ 表 あらわ リスト へのこだわり、手作業 てさぎょう 割 わ 当 あ 依存 いぞん 教育 きょういく 方法 ほうほう 重 おも 括弧 かっこ 伝統 でんとう 妥協 だきょう 解放 かいほう 試 こころ 見 み [15] 関数 かんすう 型 がた 言語 げんご 歴史 れきし 次 つぎ 貢献 こうけん 果 は [16]
構文 こうぶん 革新 かくしん [15] 演算 えんざん 子 こ 前 まえ 置 おけ 記法 きほう 記述 きじゅつ 中置 ちゅうち 記法 きほう 導入 どうにゅう [15] let 節 ぶし 節 ぶし 導入 どうにゅう 関数 かんすう 順序 じゅんじょ 同時 どうじ 定義 ていぎ 相互 そうご 再帰 さいき 可能 かのう [15]
宣言 せんげん 記述 きじゅつ 構文 こうぶん 基 もと 使用 しよう [15] 意味 いみ 論 ろん 革新 かくしん [16] 非常 ひじょう 小 ちい 表現 ひょうげん 力 りょく 言語 げんご 使 つか 構文 こうぶん 的 てき 豊 ゆた 言語 げんご 定義 ていぎ 戦略 せんりゃく 導入 どうにゅう [15] 等式 とうしき 推論 すいろん 重視 じゅうし [15] 関数 かんすう 実行 じっこう 単純 たんじゅん 抽象 ちゅうしょう 機械 きかい 導入 どうにゅう [16] ランディンは「それをどうやって行 おこな 望 のぞ 結果 けっか 何 なに 表現 ひょうげん 重点 じゅうてん 置 お 宣言 せんげん 的 てき 命令 めいれい 的 てき 優 すぐ 主張 しゅちょう 今日 きょう 関数 かんすう 型 がた 賛同 さんどう 者 しゃ 支持 しじ [17] 一方 いっぽう 関数 かんすう 型 がた 言語 げんご 関心 かんしん 高 たか 年 ねん 要 よう [17] 理由 りゆう 一 ひと 言語 げんご 実用 じつよう 的 てき 実装 じっそう 実 み 状況 じょうきょう 年代 ねんだい 変 か [17]
ケネス・アイバーソン が1962年 ねん [注釈 ちゅうしゃく 発表 はっぴょう APL は、純粋 じゅんすい 関数 かんすう 型 がた 言語 げんご 関数 かんすう 型 がた 的 てき 部分 ぶぶん 取 と 出 だ 式 しき 頼 たよ 関数 かんすう 型 がた 実現 じつげん 方法 ほうほう 一 いち 例 れい 点 てん 関数 かんすう 型 がた 言語 げんご 歴史 れきし 考察 こうさつ 際 さい 言及 げんきゅう 価値 かち [17] 実際 じっさい 設計 せっけい 動機 どうき 配列 はいれつ 代数 だいすう 的 てき 言語 げんご 開発 かいはつ 版 ばん 基本 きほん 的 てき 関数 かんすう 型 がた 的 てき 記法 きほう 用 もち [17] 後 ご 命令 めいれい 型 がた 的 てき 機能 きのう 追加 ついか [17]
^ a b c d e f g h i j k l 本間 ほんま 類 るい 地 ち 逢坂 おうさか
^ a b c d e 本間 ほんま 類 るい 地 ち 逢坂 おうさか
^ a b c d e f 本間 ほんま 類 るい 地 ち 逢坂 おうさか
^ a b c d 本間 ほんま 類 るい 地 ち 逢坂 おうさか
^ a b c d e f g h i j 本間 ほんま 類 るい 地 ち 逢坂 おうさか
^ 本間 ほんま 類 るい 地 ち 逢坂 おうさか ^ 本間 ほんま 類 るい 地 ち 逢坂 おうさか ^ 本間 ほんま 類 るい 地 ち 逢坂 おうさか ^ a b c d Lipovača 2012 , p. 22
^ a b c d e f g h i j k l 本間 ほんま 類 るい 地 ち 逢坂 おうさか
^ a b c d e 本間 ほんま 類 るい 地 ち 逢坂 おうさか
^ a b c Hudak 1989 , p. 363
^ Hudak 1989 , p. 367^ Hudak 1989 , pp. 367–368^ a b c d e f g h i j k l Hudak 1989 , p. 371
^ a b c Hudak 1989 , pp. 371–372
^ a b c d e f Hudak 1989 , p. 372
Church, Alonzo (1932年 ねん 月 がつ “A Set of Postulates for the Foundation of Logic” (英語 えいご Annals of Mathematics 33 (2): 346, doi :10.2307/1968337 , ISSN 0003-486X , JSTOR 1968337 , https://jstor.org/stable/1968337 Wikidata Q55890017 Church, Alonzo (1941年 ねん 英語 えいご The Calculi of Lambda Conversion , プリンストン大学 ぷりんすとんだいがく 出版 しゅっぱん 局 きょく Wikidata Q105884272 Hudak, Paul (1989年 ねん 月 がつ 日 にち 英語 えいご ACM Computing Surveys 21 (3): 359–411, doi :10.1145/72551.72554 , ISSN 0360-0300 Wikidata Q55871443 Iverson, Kenneth (1962年 ねん 日 にち 英語 えいご A Programming Language , ジョン・ワイリー・アンド・サンズ , ISBN 978-0-471-43014-8 , OL 26792153M Wikidata Q105954505 McCarthy, John (1978年 ねん History of LISP , doi :10.1145/800025.808387 Wikidata Q56048080 Landin, Peter (1964年 ねん 月 がつ 日 にち 英語 えいご The Computer Journal 6 (4): 308-320, doi :10.1093/COMJNL/6.4.308 , ISSN 0010-4620 Wikidata Q30040385 Landin, Peter (1965年 ねん 英語 えいご Communications of the ACM 8 , ISSN 0001-0782 Wikidata Q105941120 Landin, Peter (1966年 ねん 月 がつ 日 にち 英語 えいご Communications of the ACM 9 (3): 157-166, doi :10.1145/365230.365257 , ISSN 0001-0782 Wikidata Q54002422 Lipovača, Miran 田中 たなか 英行 ひでゆき 村主 むらぬし 崇 たかし 行 ぎょう 訳 やく 年 ねん 月 がつ 日 にち すごいHaskellたのしく学 まな (1st (1st printing) ed.), オ お ム社 むしゃ ISBN 978-4-274-06885-0 Wikidata Q105845956 本間 ほんま 雅洋 まさひろ 類 るい 地 ち 孝介 こうすけ 逢坂 おうさか 時 じ 響 ひびき 入門 にゅうもん 関数 かんすう 型 がた 言語 げんご 基礎 きそ 実践 じっせん 技術評論社 ぎじゅつひょうろんしゃ 年 ねん 月 がつ 10日 とおか ISBN 978-4-7741-9237-6 。 Wikidata Q105833610 言語 げんご 水準 すいじゅん 言語 げんご 処理 しょり 系 けい 言語 げんご 分類 ぶんるい その他 た 関連 かんれん 項目 こうもく
![[icon]](https://trans.hiragana.jp/ruby/https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%82%A4%E3%83%AB:Wiki_letter_w_cropped.svg){kind=small}
