| 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 |
