This is an 84 minute audio file. Direct download link is here: https://www.typetheoryforall.com/episodes/episode29.mp3 https://www.typetheoryforall.com/episode

This is an 84 minute audio file. Direct download link is here: https://www.typetheoryforall.com/episodes/episode29.mp3 https://www.typetheoryforall.com/episodes/episode29.mp3 I didn't listen to it (I prefer reading) but yeah, if you're using typed languages, understanding some PLT can help quite a lot. Harper's PFPL book is a fairly accessible text, somewhere between the Haskell Wikibook and truly pointy headed texts in terms of accessibility: https://www.cs.cmu.edu/~rwh/pfpl/ https://www.cs.cmu.edu/~rwh/pfpl/ The Little Typer is supposed to also be good, but I haven't yet tried it.