関数型言語Part2
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
NGNGhttp://pc.2ch.net/test/read.cgi/tech/987954395/
0751デフォルトの名無しさん
NGNGuniqe typeの型チェックができればいいだけでは?
0752751
NGNGできるが、unique typeだと、型システムは変更するが(Hindley-Milner
からは少しずれるが)、意味論は変えずに参照透明性が実現できる、
ということでよろしいか?
間違っていたらｽﾏｿ
■ このスレッドは過去ログ倉庫に格納されています