Talk:Maintaining laziness

Revision as of 15:22, 4 January 2009 by Deniok (Talk | contribs)

(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)

Why

force

function is written in so complicated form? According to the translation rule

let p = e1  in  e0      ~>      case e1 of ~p -> e0

we can obtain

force y = let Just x = y in Just x          ~>
force y = case y of ~(Just x) -> Just x     ~>
force ~(Just x) = Just x

The last definition provides the desired laziness in explicit form. --Deniok 15:22, 4 January 2009 (UTC)