On typed, untyped, and “uni-typed” languages
Recently, the question of how to refer to languages like Racket, Python, or JavaScript came up on the TYPES mailing list (a list that includes most of the academic researchers in programming languages). I wrote a reply there, but I thought it deserved…