トップページ⇒tech

976コメント334KB

関数型プログラミング言語ML

■ このスレッドは過去ログ倉庫に格納されています

0075デフォルトの名無しさん

NGNG

>>74
ええと，どういう性質について検証(verification)するのでしょうか？
型の整合性ならコンパイラがやってますが．

■ このスレッドは過去ログ倉庫に格納されています