гетерогенне програмування, гетерогенное программирование ; комбінаторна логіка, комбинаторная логика ; лямбда-числення, лямбда-исчисление ; метамови, метаязыки ; об'єктно-орієнтоване програмування, ООП, объектно-ориентированное программирование, ООП, object-oriented programming, OOP ; програмування, программирование, programming, Programmieren, programmation ; рекурсія, рекурсия ; теорія категорій, теория категорий ; SML.NET ; Microsoft .Net Framework ( MS .Net Framework ) ; C#, ( Сі-шарп, мова, Си-шарп, язык)

Систематизированы теоретические и практические сведения в области современного программирования. Рассмотрены основы функционального подхода к программированию на основе метаязыка SML.NET и подходы к объектно-ориентированному и компонентному программированию на языках SML и С#. Особое внимание уделено применению языковых конструкций для создания корректных, эффективных и надежных программ. Книга написана на основании курса лекций, прочитанного ранее автором на факультете информационной безопасности МИФИ, и построена на основе творческого синтеза избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Каждая глава учебного пособия сопровождается контрольными вопросами. Для студентов, аспирантов, специализирующихся в области компьютерных наук и информационных технологий, может быть полезной для опытных программистов.

• УДК // Програмування комп’ютерів. Комп’ютерні програми