Скачать
Introduction to Type Inference
Автор: NYC Haskell User's Group
Загружено: 2015-05-11
Просмотров: 6523
Описание:
Brian Hurt
New York Haskell Meetup
April 22, 2015
Have you ever wondered what a "rigid type variable" was, and why Haskell was complaining about trying to unify it? An intuition of how Haskell's type system works is an absolute must for Haskell programmers (as well as Ocaml programmers, Scala programmers, Swift programmers, etc.). The easiest way to gain that intuition is to see an actual, if simplified, type system developed. Brian starts with a simplified subset of Haskell and develops a simplified type system for it- but not so simplified that critical problems aren't addressed.
Slides: https://github.com/bhurt/presentation...
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Computational Type Theory [1/5] - Robert Harper - OPLSS 2018](https://imager.clipsaver.ru/LE0SSLizYUI/max.jpg)
