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

[Robot]

Ссылка на картинку

Может ли язык программирования быть одновременно простым для новичка и мощным для эксперта?

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

Для начинающих, опытных разработчиков и проектировщиков языков.

Формат pdf

Читать далее...

Показать больше