The Proper Definition of (evaluate :: a -> IO a)

Ashley Yakeley ashley at
Tue May 8 20:47:27 EDT 2007

Simon Marlow wrote:
> That's exactly right.  Evaluate was introduced because it does something 
> different from (return $!).  We tried in the documentation to be clear 
> about its semantics, but perhaps we weren't clear enough.  I'll add 
> Isaac's suggested definition to the docs.

If Isaac's definition is accurate, we might as well generalise it to any 

Ashley Yakeley

More information about the Libraries mailing list