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

[29 デフォルトの名無しさん 2014/08/11(月) 00:18:19.72 ID:L9TxF9/y]

>>1
Haskellでいいじゃん。