関数型プログラミング言語Haskell Part22
■ このスレッドは過去ログ倉庫に格納されています
0398デフォルトの名無しさん
2013/05/12(日) 20:12:31.15このばあい、どっちにしてもまともな定義は与えられないから、
使う側で比較した方が分かりやすいと思う
(f True True)は、前者ならOK、後者なら型エラー(Trueはforall b.bでないので)
(f True undefined)なら、前者でも後者でもOK
■ このスレッドは過去ログ倉庫に格納されています