2 ms·

I get expression typing (which as you point out `declare` does very well). I just don't understand how you can either 1. Do static typing with manifest-typed v

I get expression typing (which as you point out `declare` does very well). I just don't understand how you can either 1. Do static typing with manifest-typed values that can be assigned to arbitrary symbols, or 2. Do Lisp in any real sense without #1

JonChesterfield 4y ago
It's through "gradual" typing. You check what you can as early as you wish and emit dynamic checks for the remainder. There was a claim a while ago that gradual typing is inherently slower than static or dynamic, but that sounds like an implementation bug to me, not anything fundamental.