The Typechecker: Recent Episodes
Andre Popovitch
This is an interview-oriented podcast about programming languages, PL theory, and anything else I find interesting :)
This episode was recorded in August of 2019 so not everything you hear will necessarily be up to date. Granule is a functional programming language with a very powerful graded modal type system. An update that will extend it to also support dependent types is being developed. Learn more about Granule at https://granule-project.github.io/.
Today I have Jon Goodwin to discuss his Cone programming language - distinguished by "do it your way" memory management.