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

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

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

[574 片山博文MZ次期CEO ◆T6xkBnTXz7B0 2014/10/21(火) 21:57:41.40 ID:tyo0JEbH]

Ruby上で推論・数式処理・計算をする実行時モジュール作ればいいんじゃね？

[575 １ 2014/10/21(火) 22:36:26.49 ID:+255aWxA]

なぜに突然、推論、数式処理がでてくるのかわからんが。
わざと面倒くさそうなの持ってきてない？

[576 デフォルトの名無しさん 2014/10/22(水) 05:45:57.21 ID:wja3nREO]

集合論扱うのに必須だからだろ