Теория типов

Курс познакомит вас с фундаментом, на котором построена вся магия TypeScript — с системой статического анализа типов данных. Вы узнаете о теории типов, научитесь на практике использовать аннотацию типов и обобщённое программирование, сможете управлять условными типами. Программа курса Раздел 1...

Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для вузов (Михаил Владимирович Швецкий, Ирина Андреевна Кудрявцева) Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения...