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 Rss Apple Podcaster →
