#book
Типы в языках программирования — одни из важных основ, требующие внимательного изучения. Настоящая книга является классикой программирования и рассматривает все основные типы, куда входят нетипизированные лямбда-исчисления, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая глава содержит множество примеров использования типов.
https://t.me/progbook/2919
Типы в языках программирования — одни из важных основ, требующие внимательного изучения. Настоящая книга является классикой программирования и рассматривает все основные типы, куда входят нетипизированные лямбда-исчисления, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая глава содержит множество примеров использования типов.
https://t.me/progbook/2919