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