2 ms·
The language in The Little Typer supports not just static types but dependent typing. A much more interesting capability.
by Jtsummers 3y ago
The 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.