Alan Bawden <a...@scooby-doo.csail.mit.edu> writes: > The language has changed. When I was a novice Lisp hacker, we were > comfortable saying that Lisp was "untyped". But nowadays we always say > that Lisp is "dynamically typed". I could write an essay about why...
I'd be interested in seeing that. Lisp of course descends from Church's untyped lambda calculus but I didn't realize Lisp terminology about its (runtime) type system had changed historically. PL theorists sometimes like to refer to runtime types as "tags" rather than types. -- https://mail.python.org/mailman/listinfo/python-list