Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированых сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учеьника является формирование точки зрения на современную теорию и практику программирования. Книга базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. Первая часть учебника посвящена основам функционального подхода к программированию на основе языка F#.
Informatsionnye tekhnologii segodnya pronizyvayut prakticheski vse sfery deyatelnosti sovremennogo obshchestva, pronikayut v zhizn kazhdogo cheloveka. Preemstvennost pokoleniy elektronnykh tekhnologiy i ustroystv obespechivaetsya s pomoshchyu spetsializirovanykh sred ikh razrabotki, ili programmno-apparatnykh platform, a takzhe sredstv, koordiniruyushchikh ikh vzaimodeystvie, vklyuchaya, prezhde vsego, yazyki programmirovaniya. Osnovnoy zadachey uchenika yavlyaetsya formirovanie tochki zreniya na sovremennuyu teoriyu i praktiku programmirovaniya. Kniga baziruetsya na tvorcheskom sinteze izbrannykh formalnykh teoriy (lyambda-ischislenie, kombinatornaya logika, teoriya kategoriy i dr.) i unikalnoy tekhnologicheskoy platformy Microsoft .NET. Pervaya chast uchebnika posvyashchena osnovam funktsionalnogo podkhoda k programmirovaniyu na osnove yazyka F#.