Atlas: Философия, принципы и семантический фундамент

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