On: Why no one uses functional languages (1998) [pdf]

[eru]

OCaml is a functional-enough language. It ain't pure either.

A language that can track purity is great, but not absolutely required.

Btw, the D language does have facilities to track purity. It's not a functional language, though.