11. 関数型言語 — プログラミング言語論 ドキュメント

11. 関数型言語 — プログラミング言語論 ドキュメント

11. 関数型言語¶ 11.1. 関数型言語とは¶ 関数型言語のはっきりした定義はない。関数型と言われる言語に...概要を表示 11. 関数型言語¶ 11.1. 関数型言語とは¶ 関数型言語のはっきりした定義はない。関数型と言われる言語には次のような特徴がある。 プログラムは関数定義の集合であり、関数呼び出しによってそれらを組み合わせる。 関数は first class object である。 文という単位は無く、プログラムの実行とは式を評価することである。 参照透過性がある。 注釈 最も重要なのは参照透過性であるが、これを厳密に守っている言語は割と少ない。例えばLispは、代入などがあるので参照透過性は守られていない。ただ、参照透過性が守られる範囲でプログラムを書くこともできるので、Lispを関数型に分類する人も多い。 特に言語全体で参照透過性を守っていることを強調したい時は純粋関数型言語と言う場合がある。 11.2. 参照透過性¶ 参照透過性(referential transparency)とは、式の構成要素