From: [email protected]
Subject: We get it. You learned Haskell and Type theory. Cute.
Nobody gives a shit if any one can do math "in their head". What an outdated fucking analogy.
A) No one considers them good
B) The fact that your post lends so much emphasis to the "doing it all in your head" shows that you are lost in your little world of slight delusion.
C) Congrats, you made it back to category theory/mathematical foundations, now all you are is a bottom of the barrel mathematician. Solid work son. You managed to write an edgy post though.
D) You miss the point to why people prefer dynamic type systems in such a cute fashion. It would be incredible to see how your opinion evolves over time considering how your smugness. I see you references to "I get it you're threatened". As if for 20 years the common lisp people haven't heard of category theory/haskell and have not tried both. Myriads of individuals much greater have dipped their feet in both and come up for more nuanced takes, fucking christ. If there is an essay for "Bi Polar lisp kids" there definitely should be a new one for "Autistic Haskell users".
You have to be fucking kidding me.
No doubt this person is rude but you ought to delete their email address.