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

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

"Atlas. Книга 2. Семантика типов" — математический фундамент языка, скрытый от новичка, но необходимый разработчику компилятора и проектировщику языков.
Десять глав выстраивают формальный аппарат: от исчисления конструкций и семантики алгебраических типов — через параметрический полиморфизм, монадические эффекты и линейную логику владения — к подтипизации, алгоритму унификации и рефлексии времени компиляции. Заключительная глава очерчивает границы доказуемого: уточнённые типы, SMT-решатель, зависимые типы и контракты времени выполнения. Приложения содержат формальный синтаксис ядра, свод правил типизации и сравнение с Rust, Haskell, Idris и Mojo.

Atlas: Семантика типов

"Atlas. Книга 3. Инженерия компилятора и экосистема" — полное руководство по реализации языка: от исходного кода до исполняемого файла.
Четырнадцать глав проводят читателя через конвейер компиляции. Архитектура: пятнадцать фаз от лексера до линковки. Лексический и синтаксический анализ с обработкой отступов и восстановлением после ошибок. Два уровня промежуточного представления — HIR и MIR. Алгоритмы вывода типов с унификацией и SMT-решателем. Проверка заимствований через граф прав доступа. Мономорфизация, раскрытие макросов, оптимизации среднего звена. Кодогенерация в LLVM IR, представление алгебраических типов и эффектов. Рантайм: легковесные потоки, асинхронный ввод-вывод, отсутствие сборщика мусора. Пакетный менеджер, языковой сервер, отладчик, профилировщик. Интеграция с C, Python, Rust и WebAssembly. Процесс разработки языка: RFC, версионирование, сообщество.

Atlas :  Инженерия компилятора и экосистема

ATLAS

atlas

Долгожданный сиквел, превзошедший даже оригинал! Больше подлости, предательств, тайн и хаоса.
Слушателей ждёт невероятная атмосфера в духе dark academy и сериала «Академия Амбрелла»!
«ПАРАДОКС АТЛАСА» – ДОЛГОЖДАННЫЙ СИКВЕЛ БЕСТСЕЛЛЕРА NEW YORK TIMES ОТ ОЛИВИ БЛЕЙК, СЕНСАЦИОННОГО РОМАНА В ДУХЕ ТЕМНОЙ АКАДЕМИИ «ШЕСТЕРКА АТЛАСА».
ПОДЛОСТЬ
ПРЕДАТЕЛЬСТВО
ХАОС
ШЕСТЕРО МАГОВ ПОЛУЧИЛИ ШАНС, КОТОРЫЙ ДАЕТСЯ РАЗ В ЖИЗНИ.
ПЯТЕРО СТАЛИ НОВЫМИ ЧЛЕНАМИ ОБЩЕСТВА.
ПЕРЕД НИМИ ЛЕЖИТ ДВА ПУТИ.
КАЖДОМУ НАДО ВЫБРАТЬ, НА ЧЬЕЙ ОН СТОРОНЕ.
Союзы пройдут испытание на прочность, сердца будут разбиты, и наконец вскроется истинная суть Александрийцев: это тайное общество, обладающее чистой силой, способной влиять на мир, и возглавляемое тем, чьи планы изменить саму жизнь уже исполняются.
«Это упоительное состязание умов, воли, страсти, а также магических талантов… Тайны, загадки – чистое наслаждение».
ХОЛЛИ БЛЭК, АВТОР БЕСТСЕЛЛЕРОВ NEW YORK TIME
© ООО «Издательство АСТ», 2023


Парадокс Атласа

НЕЗАКОННОЕ ПОТРЕБЛЕНИЕ НАРКОТИЧЕСКИХ СРЕДСТВ, ПСИХОТРОПНЫХ ВЕЩЕСТВ, ИХ АНАЛОГОВ ПРИЧИНЯЕТ ВРЕД ЗДОРОВЬЮ, ИХ НЕЗАКОННЫЙ ОБОРОТ ЗАПРЕЩЕН И ВЛЕЧЕТ УСТАНОВЛЕННУЮ ЗАКОНОДАТЕЛЬСТВОМ ОТВЕТСТВЕННОСТЬ
«Шестерка Атласа» – это загадочная история с элементами магии в современном мире. Тайны. Предательства. Соблазны. И могучая сила, за обладание которой придется сражаться. Абсолютный бестселлер The New York Times! Таинственная история в жанре Dark Academia, самая ожидаемая книга осени
Раз в десять лет только шесть самых талантливых магов могут заслужить место в самом известном тайном обществе – Александрийском.
Избранные получат власть и престиж, о которых и мечтать не могли. Но какую цену им придется заплатить за честь быть членом этого общества?
У каждого из новобранцев есть причины принять приглашение и бороться за место. Даже если это означает стать ближе, чем они могли себе представить, к своим опасным врагам.
Даже если это означает быть преданными самыми, как казалось, надежными союзниками.
Даже если это означает, что не все они переживут испытания…
#The Atlas six #Шестерка Атласа
Text Copyright © 2021 by Olivie BlakeJacket design by Jamie Stafford-HillInterior illustrations by Little Chmura© Нияз Абдуллин, перевод на русский язык, 2022© ООО «Издательство АСТ», 2022


Шестерка Атласа

ДОБРО ПОЖАЛОВАТЬ В АЛЕКСАНДРИЙСКОЕ ОБЩЕСТВО.
Раз в десять лет только шесть самых талантливых магов могут заслужить место в самом известном тайном обществе – Александрийском. Избранные получат власть и престиж, о которых и мечтать не могли.
Но какую цену им придется заплатить за честь быть членом этого общества?
У каждого из новобранцев есть причины принять приглашение и бороться за место.
Даже если это означает стать ближе, чем они могли себе представить, к своим опасным врагам.
Даже если это означает быть преданными самыми, как казалось, надежными союзниками.
Даже если это означает, что не все они переживут испытания…

Трилогия Оливи Блейк задумана в жанре Dark Academy и по духу напоминает смесь «Тайной истории» Донны Тартт и сериала «Академия Амбрелла».

«ПАРАДОКС АТЛАСА» – ДОЛГОЖДАННЫЙ СИКВЕЛ БЕСТСЕЛЛЕРА NEW YORK TIMES ОТ ОЛИВИ БЛЕЙК, СЕНСАЦИОННОГО РОМАНА В ДУХЕ ТЕМНОЙ АКАДЕМИИ «ШЕСТЕРКА АТЛАСА».
ШЕСТЕРО МАГОВ ПОЛУЧИЛИ ШАНС, КОТОРЫЙ ДАЕТСЯ РАЗ В ЖИЗНИ.
ПЯТЕРО СТАЛИ НОВЫМИ ЧЛЕНАМИ ОБЩЕСТВА.
ПЕРЕД НИМИ ЛЕЖИТ ДВА ПУТИ.
КАЖДОМУ НАДО ВЫБРАТЬ, НА ЧЬЕЙ ОН СТОРОНЕ.
Союзы пройдут испытание на прочность, сердца будут разбиты, и наконец вскроется истинная суть Александрийцев: это тайное общество, обладающее чистой силой, способной влиять на мир, и возглавляемое тем, чьи планы изменить саму жизнь уже исполняются.

НЕЗАКОННОЕ ПОТРЕБЛЕНИЕ НАРКОТИЧЕСКИХ СРЕДСТВ, ПСИХОТРОПНЫХ ВЕЩЕСТВ, ИХ АНАЛОГОВ ПРИЧИНЯЕТ ВРЕД ЗДОРОВЬЮ, ИХ НЕЗАКОННЫЙ ОБОРОТ ЗАПРЕЩЕН И ВЛЕЧЕТ УСТАНОВЛЕННУЮ ЗАКОНОДАТЕЛЬСТВОМ ОТВЕТСТВЕННОСТЬ
Взрывное возвращение в библиотеку – и шестеро александрийцев, беззащитных перед смертоносными условиями посвящения.
Старые союзы дают трещину, когда выпускники расходятся во взглядах на то, как им, наконец, исполнить свою часть сделки. Кто-то запирается в архивах и решает этические дилеммы, связанные с феноменальными способностями, а где-то там, во внешнем мире двое создают сомнительный союз, чтобы повлиять на мировую политику.
Сам мир по-прежнему ищет способы, как уничтожить всех шестерых, в то время как Хранитель, Атлас Блэйкли, похоже, готов осуществить свой план, грозящий концом света. Идет гонка на выживание, которая ставит перед выпускниками Общества вопрос: чем они готовы поступиться ради безграничной власти – и кого уничтожат на пути к ней.

ATLAS

Серия включает 3 книги