<div dir="ltr">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"?</div><div class="gmail_extra"><br><div class="gmail_quote">2017-07-01 15:09 GMT+02:00 Silent Leaf <span dir="ltr"><<a href="mailto:silent.leaf0@gmail.com" target="_blank">silent.leaf0@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">hi,<div><br></div><div>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?</div><div><br></div><div>thanks</div></div>
</blockquote></div><br></div>