
1 Jul
2017
1 Jul
'17
5:47 p.m.
btw: does the name of "pure" come from the idea that the monad IO is
"impure" (which does not seem to be the case, does it?) or is it more of a
mathematical concept of pure values vs values whose types are
functors/applicatives/monads? or is it a way to say "simplest way to wrap
the value, purest (least "modified") equivalent of the value as wrapped
value"?
2017-07-01 15:09 GMT+02:00 Silent Leaf
hi,
i just wanted to know, if i use pure instead of return, if there's any single risk of getting a different implementation of the function, or anything of that kind. also, am i right to assume that GHC will do what is needed so there's no actual redirection in the compiled code, in the case pure is defined in terms of return?
thanks