Atlas: Философия, принципы и семантический фундамент
Валерий Антонов
Может ли язык программирования быть одновременно простым для новичка и мощным для эксперта? Эта книга — аргумент в пользу положительного ответа. Atlas — проект языка нового поколения, построенный на теории типов, линейной логике и алгебраических эффектах. Его компилятор не просто проверяет синтаксис, а математически доказывает отсутствие целых классов ошибок: null, гонок данных, утечек памяти. Книга ведёт читателя от основ — типы как множества, функции как отображения — через эффекты и владение памятью к параллельному программированию и метапрограммированию. Во введении анализируется язык Mojo как наиболее близкая попытка решить ту же задачу. Для начинающих, опытных разработчиков и проектировщиков языков.
- Категория: программирование
- Правообладатель: Автор
- Год написания: 2026
- Возрастное ограничение: 16+
- Легальная стоимость: 390 руб.
Читать книгу «Atlas: Философия, принципы и семантический фундамент» онлайн:
Комментарии ():
Вам также может понравиться:
