Interesting interpretation! <br>It might not be the one intended, but I always saw "pure" as meaning something like "input just wrapped" (echoing Maybe ofc), "input without effects", i think is the terminology. In other terms, to me "pure", there, is not an absolute description of the "type" of input (especially since the name of a function traditionally mostly defines the output, not the input), as in "non-monadic values are impure", but is a relative description visavis the input, aka, "the output is the undiluted, uneffectful monadic version of the input". Dunno if that was what you meant by "unadorned".<br>In other terms "pure" makes me see the function as a sort of identity that does not dilute or otherwise modify the input value, solely "wraps" it (more or less metaphorically), makes it monadic without modification. I don't see it as meaning that its input values are of a purer "kind" than the corresponding outputs because those latter are (more) monadic. And we can feed monadic values to pure anyway.<br><br>As for echoing "purely functional language", well ... i don't really see the link (but i might very well miss something), but at any rate isn't it true in the first place (Haskell being pure, barring uses of unsafeStuff/Foreign/etc)?<br><br>Le dimanche 15 mai 2016, Doug McIlroy <<a href="mailto:doug@cs.dartmouth.edu">doug@cs.dartmouth.edu</a>> a écrit :<br>><br>>>  the name [return] "stains" the functional semantics in Monadic code,<br>>> in my opinion<br>><br>> Amusing. For me, the term "pure" stains monads as impure or diluted.<br>> The moral overtones of "pure", as in "purely functional language",<br>> drive out more benign interpretatations such as "unadorned". Not<br>> a felicitous coinage.<br>><br>> Doug McIlroy<br>> _______________________________________________<br>> Beginners mailing list<br>> <a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>>