トップページ⇒math

1001コメント500KB

圏論好き集まれ

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

0270１３２人目の素数さん

2012/01/15(日) 19:25:12.28

>>269
仕様記述の一番の目的は仕様漏れを探すこと
つまり仕様の段階での自動デバッグ
なので原理的にモナド程度の小さい粒度で表現力が束縛されてる方が良い

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