Систематизированы теоретические и практические сведения в области современного программирования. Рассмотрены основы функционального подхода к программированию на основе метаязыка SML.NET и подходы к объектно-ориентированному и компонентному программированию на языках SML и С#. Особое внимание уделено применению языковых конструкций для создания корректных, эффективных и надежных программ. Книга написана на основании курса лекций, читаемого автором на факультете информационной безопасности МИФИ, и построена на основе творческого синтеза избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернеториентированной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Каждая глава учебного пособия сопровождается контрольными вопросами. Для студентов, аспирантов, специализирующихся в области компьютерных наук и информационных технологий, может быть...
Sistematizirovany teoreticheskie i prakticheskie svedenija v oblasti sovremennogo programmirovanija. Rassmotreny osnovy funktsionalnogo podkhoda k programmirovaniju na osnove metajazyka SML.NET i podkhody k obektno-orientirovannomu i komponentnomu programmirovaniju na jazykakh SML i S#. Osoboe vnimanie udeleno primeneniju jazykovykh konstruktsij dlja sozdanija korrektnykh, effektivnykh i nadezhnykh programm. Kniga napisana na osnovanii kursa lektsij, chitaemogo avtorom na fakultete informatsionnoj bezopasnosti MIFI, i postroena na osnove tvorcheskogo sinteza izbrannykh formalnykh teorij (ljambda-ischislenie, kombinatornaja logika, teorija kategorij i dr.) i internetorientirovannoj tekhnologicheskoj platformy Microsoft .NET, obespechivajuschej prakticheski prozrachnuju integratsiju koda na jazykakh programmirovanija razlichnykh tipov. Kazhdaja glava uchebnogo posobija soprovozhdaetsja kontrolnymi voprosami. Dlja studentov, aspirantov, spetsializirujuschikhsja v oblasti kompjuternykh nauk i informatsionnykh tekhnologij, mozhet byt...
