関数型プログラミング言語Haskell Part4
■ このスレッドは過去ログ倉庫に格納されています
0288デフォルトの名無しさん
2006/04/05(水) 14:41:58分かるけど、dataとnewtypeは微妙に意味がちがうから、最適化で変換するのは嫌なんだろう。
data D = D Int
newtype N = N Int
unD (D x) = True
unN (N x) = True
と定義すると、
unD undefined === undefined
unN undefined === True
■ このスレッドは過去ログ倉庫に格納されています