1001コメント390KB

関数型プログラミング言語Haskell Part13

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

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

2010/11/02(火) 10:22:19

「オートマトンの範囲では無理」「CFGの範囲では無理」なら分かるんだが
型システムの表現力を見積もる基準とかってある？

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