On Thursday, 15 May 2014 at 12:37:22 UTC, w0rp wrote:
To consider the design of pure, you must first consider that you cannot add functional purity to an imperative language.
Of course you can. Functional languages execute in an "imperative context". That's why you need monads.
The term "pure function" is only needed in a non-functional language. Applicative/functional languages only have mathematical functions, no need for the term "pure" there.
