15 May
2016
15 May
'16
5:17 p.m.
On 2016-05-15 10:29:34, Doug McIlroy wrote:
the name [return] "stains" the functional semantics in Monadic code, in my opinion
Amusing. For me, the term "pure" stains monads as impure or diluted. The moral overtones of "pure", as in "purely functional language", drive out more benign interpretatations such as "unadorned". Not a felicitous coinage.
That only happens if we give moral values to such technical terms. And probably happens more often to native English speakers; for me, it's much easier to separate Applicative pure from other meanings of pure. Interesting :) regards, iustin