On static/dynamic typing

From http://symbo1ics.com/blog/?p=1495 I now realise that there are several issues conflated into a false dichotomy of static/dynamic. 1. type expressivity (ML, Haskell, and Scala even more so) 2.…

(Untitled)

C and C++ are firmly stuck in the early 80’s as far as processor design is concerned.  Common Lisp never was stuck anywhere in the first place, which means it has had a hard time sticking to something…