スマートフォン用の表示で見る

関数型言語

コンピュータ

関数型言語

かんすうがたげんご

破壊的代入などの副作用プログラムの中であまり(あるいはまったく)使わないプログラミングスタイルのことを、関数型プログラミング(functional programming)という。関数型プログラミング自体は大抵の言語で可能だが、それを推奨・支援する機能(自動メモリ管理や高階関数など)をそなえた言語のことを関数型言語(functional language)という。

関数型言語には、副作用のまったくない純粋(pure)な関数型言語と、副作用のあるimpureな関数型言語がある。前者の例としてはHaskell、後者の例としてはMLSchemeがある。

関数型言語と他言語の性能比較については、たとえばComputer Language Shootout (http://shootout.alioth.debian.org/)や過去のICFPプログラミングコンテストの結果が参考になるかもしれない。