Type Systems (featuring Ron Garcia)
Marianne Writes a Programming Language - Un podcast de Marianne Bellotti
Catégories:
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.
