17. The Hindley-Milner Type System

Описание к видео 17. The Hindley-Milner Type System

This time I walk you through the (in)famous Hindley-Milner type system, which underpins type checking in Haskell, ML, and many other languages.

Course Homepage: https://norswap.com/compilers
Playlist:    • 1. Languages & Translators: Introduction  
Slides: https://drive.google.com/drive/folder...

Комментарии

Информация по комментариям в разработке