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

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

集合論に基づいた言語を作りたい - 暇つぶし2ch181:１
14/09/07 23:47:31.57 9dp9vcbI.net
関数型言語やりたいならOcamlよりHaskellお勧め？
>>123のコードは副作用ありまくりなんだが。