Новый ЯП.
Что в первую очередь я делаю, когда надо разобраться с новым языком программирования.
- Заново перечитываю Programming in MArtin-Lof type theory, чтобы освежить понимание предмета.