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

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

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