Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Eta kniga, uzhe davno stavshaja klassicheskoj, soderzhit vsestoronnee vvedenie v sistemy tipov, primenjaemye v informatike. Sredi rassmatrivaemykh tem - netipizirovannoe ljambda-ischislenie, prostye sistemy tipov, polimorfizm, vlozhenie tipov i rekursivnye tipy. Kazhdaja iz rassmatrivaemykh kontseptsij soprovozhdaetsja mnozhestvom primerov i zadach, chto pozvoljaet zakrepit teoreticheskij material. Kniga budet polezna kak dlja praktikujuschikh razrabotchikov, tak i dlja studentov i aspirantov v oblasti informatiki.
