![](/assets/artwork/1x1-42817eea7ade52607a760cbee00d1495.gif)
24 min
![](/assets/artwork/1x1-42817eea7ade52607a760cbee00d1495.gif)
Type Systems (featuring Ron Garcia) Marianne Writes a Programming Language
-
- Technology
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.
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.
24 min