集合論に基づいた言語を作りたい

[641 デフォルトの名無しさん 2014/10/27(月) 22:01:34.98 ID:UstcwDIj]

高階関数によるチェインなんかは生産性のあがる例じゃないの。並列化も簡単でしょ。
まあ関数型のスレではないけど、集合論というか数学ってまさに関数型言語なのに、
よくわかってなさそうだからつっこまれるんだろうけど。