6 Aug
2013
6 Aug
'13
10:01 a.m.
On Tue, Aug 6, 2013 at 4:03 AM, J. Stutterheim
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