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

[399 デフォルトの名無しさん 2014/09/30(火) 22:19:13.15 ID:ic/LPcqx]

>>398
わざわざスレを立てなくても 集合論 プログラミング でググればすぐ見つかるんだけど。
「発想から徹底的に集合論的思想で言語仕様を考える」と言っておきながら
その程度の検索すらしてなかったんだな。