Difference between revisions of "Talk:Maintaining laziness"
Jump to navigation
Jump to search
| Line 10: | Line 10: | ||
</haskell> |
</haskell> |
||
The last definition provides the desired laziness in explicit form. |
The last definition provides the desired laziness in explicit form. |
||
| + | --[[User:Deniok|Deniok]] 15:22, 4 January 2009 (UTC) |
||
Latest revision as of 15:22, 4 January 2009
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)