Языки и парадигмы программирования

Цикл проекта ЦИТадель «Анатомия языков программирования» (новые публикации — в начале списка)

Маршрут последовательного чтения: 1. память → 2. конкурентность → 3. ошибки → 4. системы типов.

• Системы типов: что доказывает компилятор — статическая и динамическая проверка, вывод типов, номинативность, структурность и алгебраические типы.
• Как современные языки обращаются с ошибками — исключения, ошибки как значения, Option, паника и проектирование отказов.
• Конкурентность в современных языках — память, сообщения, неизменяемость, владение и отдельная ось async/await.
• Как современные языки управляют памятью — ручное управление, сборка мусора, подсчёт ссылок и владение.

Другие статьи

• Архитектурный подход к быстрой кросс-языковой навигации по связанным сущностям в программных проектах
  Д.С. Дроздов, С.С. Михалкович
  Труды ИСП РАН, том 38, вып. 3, часть 2, 2026 г.

• Обзор языковых виртуальных машин и подходов к их тестированию
  А.С. Проценко
  Труды ИСП РАН, том 38, вып. 3, часть 4, 2026 г.

• Версионирование кода как развитие оптимизации методом Распространения констант
  И.А. Зинин, В.В. Черноног
  Труды ИСП РАН, том 38, вып. 1, 2026 г.

• Генерация кода исполняемой модели Event-B на языке Python
  А.А. Карнов, Е.В. Корныхин
  Труды ИСП РАН, том 37, вып. 6, часть 4, 2025 г.

• Статический анализ языка Visual Basic .NET
  В.С. Карцев, В.Н. Игнатьев
  Труды ИСП РАН, том 37, вып. 6, часть 2, 2025 г.

  Учебные курсы и книги

• Основы конструирования компиляторов
  В.А. Серебряков, М.П. Галочкин

• Алгоритм преобразует алгоритм!
  George Columbow

• Специализированные языки
  Майк Шапиро
  Перевод: Сергей Кузнецов

• Преобразование программ на языке Scheme для облегчения компиляции в язык C
  Денис Турдаков, Максим Гринев

• Логические основы Пролога
  Лекция из курса "Основы программирования на языке Пролог" П. А. Шрайнер, INTUIT.ru

• Функциональное программирование
  Лекция из курса "Стили и методы программирования" Н.Н.Непейвода, INTUIT.ru

• Язык C с двумя минусами, или Как ассемблер стал портабельным
  Андрей Кухар, Издательский Дом "КОМИЗДАТ"

• Аспектно-ориентированные методы в управлении информационными потоками баз данных
  ДП АСУТП Богданов Николай Константинович, bogdanov@atgs.ru
  журнал "Автоматизация в промышленности", №9 - 2003

• Компьютерный морфологический разбор слов русского языка.
  Ермолаев Д.С.

• Концептно-ориентированная модель памяти переводов
  А. Г. Глазунов

• Программирование метаклассов на Python, часть 2
  Мишель Симионато, физик, Питтсбургский университет
  Перевод: Intersoft Lab

• Множественная диспетчеризация
  Автор: Дэвид Мертц (David Mertz)
  Перевод: Intersoft Lab
  Авторские права: market@iso.ru

• Создание декларативных мини-языков
  Автор: Дэвид Мертц (David Mertz), разработчик, Gnosis Software Inc.
  Перевод: Intersoft Lab
  Авторские права: market@iso.ru

• Программирование метаклассов на Python
  Дэвид Мертц, Мишель Симионато
  Перевод: Intersoft Lab

• Руководство по интроспекции на Python
  Патрик О'Брайен
  (Перевод: Intersoft Lab )