In this mind-bending episode I do a deep dive into the world of programming language design and type systems with Aram Hăvărneanu.
We cover a lot of things, including:
The difference between Curry- and Church-style type systems
How types can be used to represent meaning
Set-theoretic types
The limitations of Rust
How fully embracing linear logic opens up new types of program safety
Dependent types
Links:
Aram's post about Curry-style type systems
