purescript-lazy
purescript-lazy copied to clipboard
Call-by-need values
If you use Lazy recursively, and make it too strict, you can wind up calling `force` inside of a `force`. Currently, this will loop forever (or blow the stack more...
Lazy IO
We could provide `unsafeLazyEff :: forall eff a. Eff eff a -> Eff eff (Lazy a)` which will allow us to support lazy IO. For example, random numbers can be...
Haskell has a class ```haskell class Monad m => MonadFix m where mfix :: (a -> m a) -> m a ``` It should be possible to do something similar...