Введение в Gleam, язык на BEAM
открытый урокЭтот раздел читается без входа. Войди, чтобы отмечать прогресс, вести заметки и решать задачи в редакторе. войти
Введение в Gleam, язык на BEAM
Открываем серию по Gleam. Это маленький типизированный язык, который собирается в Erlang-байткод и в JavaScript из одного исходника. Внутри: акторы из BEAM, система типов на уровне ML, синтаксис как у TypeScript. Эта глава знакомит с миром, дальше пишем код.
Сцена, два мира сходятся
Представь шкалу. На одном конце сидит Erlang/Elixir: акторы, supervisor-деревья, миллионы лёгких процессов, девять девяток uptime. Системы вроде WhatsApp обслуживают два миллиарда пользователей на одной такой VM. Но типы появляются только в рантайме: компилятор не ловит опечатку в имени поля, не помешает сложить число с атомом.
На другом конце сидят ML-семейные языки: Haskell, OCaml, Elm. Алгебраические типы данных, parametric polymorphism, exhaustive pattern matching. Компилятор отказывается собирать код, в котором не разобраны все варианты. Но рантайм у каждого свой, и Process-овская модель Erlang там не растёт.
Gleam стоит ровно посередине. Тот же BEAM снизу, та же дисциплина типов сверху. Без классов типов, без макросов, без GADT, ничего лишнего. Один стиль именования, одна каноничная форма функции.
Чем Gleam цепляет
- Безопасность типов, ошибки ловятся компилятором, а не пользователем в продакшене.
- BEAM под капотом, миллионы конкурентных процессов, supervisor-деревья, hot-reload, всё то же, что у Erlang.
- Намеренная простота, минимум синтаксиса, единый стиль через встроенный
gleam format. - Двойной таргет, тот же код собирается в Erlang-байткод (сервер) и в JavaScript (браузер и Node).
- Совместимость, через FFI доступна вся экосистема Hex (Erlang плюс Elixir плюс родной Gleam).
BEAM: виртуальная машина, проверенная временем
BEAM (Bogdan/Björn’s Erlang Abstract Machine), виртуальная машина, созданная в Ericsson для телекоммуникаций. Её ключевые свойства:
- Лёгкие процессы, миллионы конкурентных процессов в одной VM, каждый с собственной кучей.
- Изоляция сбоев, падение одного процесса не затрагивает другие.
- Распределённость, процессы общаются по сети прозрачно.
- Hot-reload, обновление кода без остановки системы (для Gleam пока не штатно).
На BEAM работают системы, обслуживающие сотни миллионов пользователей:
| Система | Масштаб |
|---|---|
| 2 млрд пользователей, ~50 инженеров | |
| Discord | Миллионы конкурентных подключений |
| RabbitMQ | Один из самых популярных брокеров сообщений |
| Ericsson | Телекоммуникации с 99.9999999% uptime |
Gleam компилируется в Erlang-байткод и получает все эти свойства бесплатно. Код на Gleam вызывает Erlang- и Elixir-библиотеки напрямую, без обёрток и накладных расходов.
Двойной таргет
У Gleam есть еще одно полезное свойство: один и тот же код компилируется в Erlang (для сервера) и в JavaScript (для браузера и Node.js).
┌─── Erlang (BEAM) ───► сервер, CLI, IoT
gleam build ──┤
└─── JavaScript ──────► браузер, Node.jsА для переключения между таргетами достаточно изменить одну строку в gleam.toml:
target = "erlang" # или "javascript"Стандартная библиотека Gleam работает на обоих таргетах. Для платформо-специфичного кода используется FFI, вызов Erlang- или JavaScript-функций из Gleam-кода.
Философия Gleam
Gleam, намеренно минималистичный язык. Его создатель Louis Pilfold следует принципу: если фичу можно не добавлять, её не добавляют.
В Gleam нет:
- Классов типов (type classes)
- Макросов
- GADTs и зависимых типов
- Исключений (в привычном смысле)
- REPL
- Перегрузки операторов
- Неявных приведений типов
Это не ограничение, а осознанный выбор. Каждая строка кода на Gleam читается однозначно: нет скрытой диспетчеризации, нет магии макросов, нет неявных преобразований. Код делает ровно то, что написано.
Дружелюбные ошибки
Gleam известен исключительно понятными сообщениями об ошибках. Компилятор не просто говорит “type mismatch”, он объясняет, что пошло не так, и часто предлагает исправление:
error: Type mismatch
┌─ src/main.gleam:4:17
│
4 │ string.length(42)
│ ^^
Expected type:
String
Found type:
Int
Hint: try using `int.to_string` to convert the value.Компилятор указывает точную строку и столбец ошибки, показывает ожидаемый и найденный тип, и сразу предлагает исправление. Это делает работу с Gleam особенно приятной для новичков.
Hex, единая экосистема
Gleam использует Hex, менеджер пакетов, общий с Erlang и Elixir. Это означает доступ к Erlang-библиотекам напрямую, а также к растущей экосистеме собственных Gleam-пакетов: Wisp (веб), Lustre (фронтенд), Mist (HTTP-сервер) и многие другие. Подробнее о совместимости с BEAM-экосистемой, в главе 8.
Сравнение с другими языками
| Gleam | Elm | Rust | Elixir | Haskell | OCaml | |
|---|---|---|---|---|---|---|
| Статическая типизация | ✓ | ✓ | ✓ | ✗ | ✓ | ✓ |
| BEAM | ✓ | ✗ | ✗ | ✓ | ✗ | ✗ |
| Простота | ✓✓ | ✓ | ✗ | ✓ | ✗ | ✗ |
| Конкурентность (акторы) | ✓ | ✗ | ✗ | ✓ | ✗ | ✗ |
| JS-таргет | ✓ | ✓ | ✗ | ✗ | ✓* | ✓* |
| Зрелая экосистема | Растёт | Средняя | ✓✓ | ✓ | ✓ | ✓ |
* Haskell компилируется в JS через GHCJS/Asterius, OCaml, через js_of_ocaml/Melange. Однако в обоих случаях это отдельные инструменты, а не встроенная возможность компилятора. В Gleam и Elm JS-таргет, штатный режим работы.
- Elm, ближайший родственник по философии (типы + простота), но работает только в браузере
- Rust, похожий подход к безопасности, но другой уровень сложности и нет BEAM
- Elixir, тот же BEAM, но без статических типов
- Haskell/OCaml, мощные системы типов, есть JS-таргеты через сторонние инструменты, но нет BEAM-конкурентности
Маршрут серии
Пятнадцать уроков, разбитых на пять блоков. Каждый блок добавляет один уровень абстракции, дальше можно расходиться по веткам.
| # | Урок | Уровень |
|---|---|---|
| 01 | Введение в Gleam (этот) | J |
| 02 | gleam new и базовые типы | J |
| 03 | Функции, пайплайны и замыкания | J |
| 04 | ADT, pattern matching, List и Dict | M |
| 05 | Рекурсия, свёртки, Result и Option | M |
| 06 | Строки, BitArray и стандартная библиотека | M |
| 07 | Parse, don’t validate. Opaque и phantom | MS |
| 08 | Erlang FFI: @external, atoms, ETS | MS |
| 09 | JavaScript FFI и target = javascript | M |
| 10 | OTP, акторы, supervisor, let it crash | MS |
| 11 | Тестирование: gleeunit, qcheck, birdie | M |
| 12 | Веб на Wisp: запрос-ответ, middleware | MS |
| 13 | Lustre, TEA-архитектура в браузере | MS |
| 14 | Куда дальше: экосистема BEAM | J |
| 15 | Финальный проект, Telegram-бот на Telega | S |
Базовый блок, уроки 02 по 07, лучше читать подряд. Дальше уроки относительно независимы: можно пойти в OTP (10) и бот (15), а можно сразу в Lustre (13).
Как пользоваться материалом
Каждый урок устроен одинаково:
- Прозой объясняется одна концепция.
- Концепция сразу показывается куском кода, который реально собирается через
gleam build. - В конце урока стоят упражнения (frontmatter
homeworkи тики<Exercise>в тексте), они отмечаются прямо на странице. - Связанные темы доступны через
<Term>-тултипы (наведи мышкой) и сноски на соседние уроки.
Что нужно от тебя: установленные gleam и erlang/otp плюс желание запускать gleam test после каждой главы. Опыт ФП не требуется, но если ты прошёл 02-cs и 04-ts, многое уляжется быстрее.
Что попробовать прямо сейчас
Полезные ссылки
- Gleam, официальный сайт
- Gleam Language Tour, интерактивный тур по языку
- Exercism, Gleam Track, задачки с менторингом
- Awesome Gleam, каталог библиотек
- Gleam Discord, живое сообщество
Итог
Gleam, молодой, но быстро растущий язык. Берёт надёжность ML-системы типов и промышленную конкурентность BEAM, остаётся простым: весь синтаксис можно выучить за выходные. Если ты уже знаешь TypeScript и читал про акторов, у тебя уже половина модели.
Следующий урок, ставим компилятор, собираем первый проект и трогаем базовые типы.