We could both give each other empirical evidence all day. I wouldn't really call my assertions unproven. Speaking of referential transparency and equational re

We could both give each other empirical evidence all day. I wouldn't really call my assertions unproven. Speaking of referential transparency and equational reasoning is kind of the core of a lot of computer science. I'm not really sure what kind of evidence you are asking for. I will say that I think some programming languages are more interesting than others, and some are a more productive, better use of time than others.