- 1 名前：デフォルトの名無しさん [2014/08/10(日) 21:27:16.56 ID:x7G32Sd0]
- 計算機科学の基礎は集合論であるという。
ならば、集合論に基づいた言語を作れば美しい言語になるのでは？
そんな発想から徹底的に集合論的思想で言語仕様を考えるスレです。
- 121 名前：デフォルトの名無しさん mailto:sage [2014/08/17(日) 15:31:49.05 ID:8WbwPRMF]
- ググれば数秒でみつかるのに。
caml.inria.fr/resources/index.en.html
- 122 名前：デフォルトの名無しさん mailto:sage [2014/08/17(日) 16:03:30.63 ID:PGXi6tC2]
- >>109
> うーん。そうなんですか。でもそれだとこのスレが終わってしまうｗ
いいことじゃん。
続きはブログでやってくれ。
