>>25655751
I prefer something like ML to any (((Lisp))) for functional autism to be taught in schools, although the professors who taught out of SICP are probably all retired now.
>>25655759
GADts, pattern matching, algebraic data types, and effect tracking should be in every major programming language, but the average code monkey has too low an IQ for these things. We are basically in the Stone Age of programming.