関数型で書いた際に、どういった事が可能になるか。 コード量が少なくなる 最適化がしやすい 並行/並列化がしやすい -ドキュメントが少なくなる 状態を持たないので、関数を組み合わせて利用しても相互に影響しない 定理と証明 see also なぜ次に学ぶ言語は…