最もメタになる「初心者用言語」 O’Caml - suztomoのはてなダイアリーO'Caml、いいんじゃないかな。Objective Caml。オープンソースな関数型言語。 詳しい実装を知っているわけじゃないけど、課題でO'Camlを使っているのでプログラミング初心者へ向けて紹介しておくよ! O'Camlにはプログラミング・情報科学であらわれる概念が盛りだくさんだ。O'Camlの面白いところは 関数型言語 すべての式が値を持つ。関数・演算が値を返すのは当たり前として、if文だって値を持つ。unitという変な値を返す式もあるけど、そんなのも含めてすべての式が価を持つんだ。Cなどの手続き型言語やPrologなどの論理型言語だけをやっていた人から見るとほんとに？とおもうかもしれないけど、ほんとにすべての式が値を持つんだよ。 あと、関数型言語を使うと、関数を受け取って処理する関数(高階関数)などの概念が身に付くよ。関数型だからループをまわそうと思ったら再帰で書きたくなってくる
