3 ms·
You can write a lisp that uses static typing. The book "The Little Typer" develops one such language as (I believe) a dialect of Scheme. Of course, that's just
by Tainnor 3y ago
You can write a lisp that uses static typing. The book "The Little Typer" develops one such language as (I believe) a dialect of Scheme. Of course, that's just a toy language (and it doesn't have type inference, for example, but as far as I'm aware that's a hard problem when you add dependent types), but it shows it can be done.
- Jtsummers 3y agoThe language in The Little Typer supports not just static types but dependent typing. A much more interesting capability.
- Tainnor 3y agoWell yes, but those are still static types. :) And of course, you're not forced to use dependent types, so "regular" statically typed programs are just a subset of dependently typed ones.