関数プログラミング

Lispの本を何気なく読んでいて、関数プログラミングの説明を読んでいて、なんか納得した。ということで、メモ。

関数プログラミング

副作用ではなく、返値を使って動作するプログラムを書くプログラミングパラダイム

でも、これがそうなら、関数型という点では、MLとLispは同じ程度に関数型ということだよな。
それから、 int -> () という型は関数的でないし、関数の本体に複数の式があるのも関数的ではない。
そう思って、Concurrent Cleanの文法を見てみると、なるほど確かに「純粋」関数型言語だ。