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

[1 デフォルトの名無しさん 2014/08/10(日) 21:27:16.56 ID:x7G32Sd0]

計算機科学の基礎は集合論であるという。
ならば、集合論に基づいた言語を作れば美しい言語になるのでは？
そんな発想から徹底的に集合論的思想で言語仕様を考えるスレです。

[713 デフォルトの名無しさん 2014/11/09(日) 20:00:10.30 ID:NPL58Du1]

1に餌を与えないでください。
>>425>>559 >>655-665

[714 片山博文MZ次期CEO ◆T6xkBnTXz7B0 2014/11/09(日) 20:28:33.70 ID:XU91kGr5]

俺の研究内容が似ているので燃料投下する。国の生活保護と同様に、たとえ悪魔にもエサを与えよう。