Programs Split Over Multiple Files (featuring Troels Henriksen)
Apr 14, 2021 - 00:25:22
Radio and PodcastLive Radio & PodcastsTechnology
Type Systems (featuring Ron Garcia)
Marianne completely underestimates the complexity of type systems and struggled to figure out how inference, checking and conversion work together. After a month of scraping together a smattering of facts, she calls on e...
About This Episode
Type Systems (featuring Ron Garcia) is an episode from Marianne Writes a Programming Language by Marianne Bellotti. Marianne completely underestimates the complexity of type systems and struggled to figure out how inference, checking and co...
Podcast
This episode belongs to Marianne Writes a Programming Language.
Listen Online
Use the player on this page to stream the episode online.
Episode Details
Published Mar 17, 2021, 00:24:28 long, audio available.
Related Episodes
Continue listening to more episodes from Marianne Writes a Programming Language.
Code Generation (featuring Tikhon Jelvis)
Apr 7, 2021 - 00:30:04
Uncertain Types part 2 (featuring Barak Michener and Eric Schles)
Mar 31, 2021 - 00:27:31
Uncertain Types part 1 (featuring Maria Gorinova)
Mar 24, 2021 - 00:24:03
Syntax Sugar (featuring James Houghton)
Mar 10, 2021 - 00:28:44
User Research for Programming Languages (featuring Michael Coblenz)
Dec 23, 2020 - 00:24:12
Exceptions Are Not Errors (featuring Smokey Jones)
Dec 16, 2020 - 00:23:39
From Parse Tree to Evaluator (featuring Sarah Withee)
Dec 9, 2020 - 00:25:48