On 17/12/2010 07:42, bearophile wrote:
http://www.reddit.com/r/programming/comments/enajl/purity_in_d_language/Bye, bearophile
"pure functions are contravariant (a "subset") with impure functions"Nope, there is a mistake here, it is the other way around: pure functions are covariant with impure functions.
This is even mentioned in the beginning of the article: "a pure function: [...] - Is covariant with an impure function;" -- Bruno Medeiros - Software Engineer
