You huskel retards think that you're all that with your theorem proving but as usual lisp was first.
http://www-formal.stanford.edu/jmc/lisp20th/node4.html>>12All physics is statically typed. It would be a catastrophe if a nuclear physicist added eV and keV.
Pseudo-intellectual equating concepts of different fields to each other.
Also, all humans make errors
Nope. Not all humans are equal and therefore not all make errors.
Also, not even good programmers can keep thousands of lines of code in their head at once.
Not how it works nor is it meant to be done in a literal way. You wouldn’t understand since your intelligence is below nigger. Good programmers don't make errors. Haskell syntax has nothing to do with the machine or theory and just gets in the way. Errors in lisp are simply made due to the programmer being dumb or inexperienced and lacking knowledge of the machine and the theory. Correct programming in lisp is a completely logical endeavour.