On Tue, Aug 6, 2013 at 4:03 AM, J. Stutterheim <j.stutterheim@me.com> wrote:
I have to admit that I am a bit torn about using `pure`. On the one hand, if you actually have a pure value, it feels pretty intuitive to me. But what about

  pure (putStrLn "Hi")

`putStrLn "Hi"` is not a pure value... Or is there another way to interpret the word pure in this context?

I actually have the opposite problem: what's impure about lifting 5 into Maybe or []? `pure` feels IO-targeted.

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net