Purity

[Bruno Medeiros]

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