- 294 名前：283 mailto:sage [2012/05/05(土) 23:04:46.88 ]
- お二人とも、ありがとうございます。
・・・結局、data X = X !Int の正規化フラグを付けるのと付けないのとで、
何が変わるのでしょうか？
data X = X !Int
・・・
let x = X a
>>284
> どちらの質問もその考え方であってる。
>>288
> いや、xの値が必要になるまでは評価されない。
どちらが正解なんですか。
それとも、お二方も同じ事を言っているのでしょうか。
a の評価のタイミングはいつなんでしょう？
>>284
> 束縛された値が正規形なのかとか、リテラルかどうかとか判断する術は一般にないから、
> それらを基に正格性フラグ付けることに、意味がある、ないを判断することはできないし、意味もないよ。
たしかに。
いや、ライブラリのソースを読んでいて、正規化フラグ付きの関数を持ったデータ型があって、
どういう意図・狙いでフラグを付けたのかなと思いました。
