43 lines
4.2 KiB
Markdown
43 lines
4.2 KiB
Markdown
# Почему я выбрал **Gleam**
|
||
|
||
- **Статическая типизация с выводом типов.** Компилятор Gleam обнаруживает ошибки на этапе компиляции, что помогает с проблемой runtime косяков и повышает надёжность кода в целом, при этом сохраняя лаконичность за счёт вывода типов.
|
||
- **Компиляция в Erlang/Elixir (BEAM).** Gleam работает на виртуальной машине BEAM, что даёт отказоустойчивость, лёгкость параллельных вычислений и Hot Reload что очень удобно! И в js по-моему он тоже может компилироваться.
|
||
- **Простой и читаемый синтаксис.** Gleam сильно приличнее и читаемее выглядит в сравнении с собственно Erlang и тем более чем-то вроде Clojure. Я избалован читаемостью и синтаксисом Kotlin)
|
||
- **Он новый**. Интересно посмотреть как развивалась функциональная парадигма сквозь время, куда мы пришли и что нам это даёт? Плюс я немного устал от акторной модели в Tact/FunC (Экзотика для блокчейна TON) и от ООП (Kotlin, Java)
|
||
|
||
---
|
||
|
||
## Стек инструментов
|
||
|
||
- **gleam** — основной инструмент: компилятор, менеджер пакетов, запуск тестов
|
||
- **rebar3 / erlang.mk** — совместимость с Erlang-сборкой (при необходимости)
|
||
- **gleam format** — встроенное форматирование кода
|
||
- **gleam test** — встроенная система модульных тестов
|
||
|
||
---
|
||
|
||
## ЛР-4: Анализатор кода на Gleam для выявления "запахов" в Erlang/Elixir проектах
|
||
|
||
*Что хочу сделать*:
|
||
Разработать инструмент для статического анализа исходного кода Erlang/Elixir проектов, который будет обнаруживать определённые "запахи кода", они же антипаттерны — такие как длинные функции, избыточная вложенность, нарушение принципов функционального программирования.
|
||
|
||
Почему Gleam подходит: строгая статическая типизация гарантирует корректность работы с AST Erlang/Elixir, алгебраические типы данных точно моделируют структуру анализируемых программ, pattern matching упрощает реализацию детекторов антипаттернов, а компиляция в BEAM обеспечивает естественную интеграцию с экосистемой Erlang для анализа реальных проектов. Функциональная природа Gleam идеально соответствует задаче анализа функционального кода.
|
||
|
||
---
|
||
|
||
## Книга для изучения
|
||
|
||
Именно что книг (которые бумажные или в .pdf) я по gleam не нашёл, зато есть такой интерактивный "путеводитель": https://tour.gleam.run. Так что придётся опираться на него.
|
||
|
||
Я считаю что по формату он не подходит на роль книги, но по содержанию вполне.
|
||
|
||
---
|
||
|
||
## Материалы для эссе и подготовки
|
||
|
||
- Сайт gleam: https://gleam.run
|
||
- Много сниппетов и документации https://tour.gleam.run
|
||
- https://habr.com/ru/articles/721776/
|
||
- https://katafrakt.me/2021/10/13/app-with-elixir-business-logic-with-gleam/
|
||
- https://nuancesprog.ru/p/23846/
|
||
- https://github.com/plutov/websites_checker |