| Тема | Ссылки |
|---|---|
| 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 |