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
Questions About This Episode
What is Type Systems (featuring Ron Garcia) about?
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 expert Ron Garcia to help her figure it out.
Where can I listen to Type Systems (featuring Ron Garcia)?
You can listen to Type Systems (featuring Ron Garcia) online on Radio and Podcast. Open the player on this page to stream the available audio.
Which podcast is Type Systems (featuring Ron Garcia) from?
Type Systems (featuring Ron Garcia) is an episode from Marianne Writes a Programming Language by Marianne Bellotti.
How long is this episode?
This episode is 00:24:28 long.
When was this episode published?
This episode was published on Mar 17, 2021.
Can I save Type Systems (featuring Ron Garcia) for later?
Yes. Use the heart button on the episode page to add it to your favorite episodes list.
Are there related episodes from Marianne Writes a Programming Language?
Yes. This page shows related episodes from Marianne Writes a Programming Language when more episodes are available from the podcast feed.
Quick Answers About This Episode
Where can I listen to Type Systems (featuring Ron Garcia)?
You can listen to Type Systems (featuring Ron Garcia) on this page when the episode audio is available from the podcast feed.
Which podcast is this episode from?
Type Systems (featuring Ron Garcia) is from Marianne Writes a Programming Language by Marianne Bellotti.
What are the episode details?
Published Mar 17, 2021 and 00:24:28 long