Practical Dependent Types in Haskell

https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html

• никогда не использовал kind signature для описания типов. Фактически, ты строишь две зависимости: от чего зависит твой тип, и от чего зависит конструктор данных
• Когда я последний раз слушал доклад на CodeMesh, еще нельзя было делать арифметику в типах (h ‘: hs - чтобы присоединить еще один слой к нейронной сети)
• все с типами и проверяет себя - реально клево!
• Генерация - по указанию типа - суперклево!
• компилятор помогает писать код (указать _, он подскажет на что заменить)
• Со временем все привыкают, что сложные вещи - надо держать в голове, и не отвлекаться, когда пишешь серьезный проект, чтобы не допустить ошибок. Не заблуждайтесь, это не так, компилятор - ваш главный помощник! Держите в голове только самое необходимое, остальное - он поможет