怠惰な評価を確認する

Question

誤って私の投稿を削除しましたが、この質問を明確にするために再掲載しています。私が機能している場合

は：
const x = 1

を私はHaskellの尋ねる場合：
const (1/0)

を遅延評価は、実際に1/0が何であるかを計算しないので、それは右、1を返すのだろうか？それは必要ではありません。

Answer 1

はい、そうです。 constは、定義したように、引数が何であっても、評価されると常に1を生成します。引数は結果には関係しないため、評価されません。したがって、引数の評価によって引き起こされる可能性のあるエラーまたは非終了は発生しません。