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