関数型プログラミング
関数型プログラミング（かんすうがたプログラミング、）とは、数学的な意味での関数を主に使うプログラミングのスタイルである。 functional programming は、関数プログラミング（かんすうプログラミング）などと訳されることもある。
（）とは、関数型プログラミングを推奨しているプログラミング言語である。略して関数型言語（）ともいう。