Rubbish - your head is in the clouds. This is the real world where we solve problems with the tools we know and work on a common ground to everyone else.
I get the feeling a lot of people on HN just fell out of university or work in a niche area. The rest of us don't care for such isolation and prefer to work with deterministic and well known tooling.
<sarcasm>
If that is the case, then the summation operator in mathematics should be replaced with Lambda Calculus or the world will fall apart...
Linux obviously doesn't work because it uses for loops in the Kernel.
Windows needs to be rewritten in Haskell or LISP to make it pure.
OMG I just realised, I'm not allowed to walk a list in C without implementing car and struct pair. Damn my stack just blew.
</sarcasm>