Type Systems (featuring Ron Garcia)
Marianne Writes a Programming Language - Un pódcast de Marianne Bellotti
Categorías:
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.
