Тема | Ссылки |
---|---|
There is a bluebird in my talk that wants to get out | https://www.youtube.com/watch?v=NCf5nthB1tA |
AST в JavaScript | https://www.youtube.com/watch?v=ILSpvViUlPU |
Системы типов в двух словах | https://www.youtube.com/watch?v=nFtO6419A5k |
Б.Пирс Типы в ЯП | https://www.ozon.ru/context/detail/id/7410082 |
TDD with Idris | https://www.manning.com/books/type-driven-development-with-idris |
Структура и Интерпретация Компьютерных Программ | https://www.ozon.ru/context/detail/id/5322055 |
Dragon Book | https://www.ozon.ru/context/detail/id/3829076 |
Sea of Nodes | https://darksi.de/d.sea-of-nodes |
Variances | https://habr.com/ru/post/218753/ |
Don't use cast | https://gustedt.wordpress.com/2014/04/02/dont-use-casts-i/ |
Лекции по выводу типов в GHC 8.8 | https://www.youtube.com/watch?v=_HYI7zjkrEs |