[gimboland]

> The real killer feature of Haskell is that it is the closest language to mathematics and makes reasoning mathematically much easier than even other functional languages.

And the reason is it's like that is its focus on purity.

[Zhyl]

Is the reason it's easy to reason with mathematically because it was designed to be pure or is it pure because it was designed to be easy to reason with mathematically?