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

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

集合論に基づいた言語を作りたい - 暇つぶし2ch232:デフォルトの名無しさん
14/09/12 19:25:03.94 i5Uyd5M3.net
>>230
>>186参照
関数型言語の関数型というのはただの手法であって言語という程のことではないらしい
haskellは何言語と呼べばいいんだろう

次ページ