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:

CUE

Aram's post about Curry-style type systems

Rich Hickey's "Maybe Not" talk

Church VS Curry Types

The Verse Calculus