関数型プログラミング言語Haskell Part5
■ このスレッドは過去ログ倉庫に格納されています
0325デフォルトの名無しさん
2006/06/22(木) 18:38:30>時代が進むにつれてLispが有利になる。
ガベコレや継続がまだ余り知られていなかった時代じゃあるまいし。
Lispに型システムさえあればねえ。。。
機械によるプログラムの安全性の保証が必要になる分野はこれから沢山出てくると思われる。
そんな所にLispが使われていたら俺は嫌だ。せめてJavaにしてくれ。
テストではバグがないことは示せないが、型ならある種のバグの不在が証明できる。
■ このスレッドは過去ログ倉庫に格納されています