[azth]

> why purity and strict types and all their baggage, despite their promise to make software less buggy, have not been widely adopted.

I am guessing is it mainly due to the inertia of the current popular languages (C, C++, Java, Python, etc.), and that none of them offer such guarantees. There are tons of libraries written in them, and so it is hard to move away from them. I am hoping that Scala and Rust will change things.