Тема: elixir

Статья

Восемь языков: одна запись, восемь способов её получить

Python, JavaScript с TypeScript, C, C++, Elixir, Go, Java и C# дают одинаковые по схеме записи, но вставка у каждого своя: декоратор, try/finally, атрибут cleanup, …

#уроборос#трассировка#python

Статья

Кодогенерация: печать в восемь языков

Восемь бэкендов — C, Go, Rust, Python, Java, C#, Elixir, JavaScript, — общее требование совпадения с интерпретатором и практические прогоны. Плюс две новости суток: …

#flang#кодогенерация#компиляторы

Статья

Функции первого класса и высшего порядка, замыкания

Как превращение функции в обычное значение убирает дублирование кода, откуда берутся map/filter/reduce, что на самом деле хранит замыкание и сколько всё это стоит в проде

#функциональное программирование#замыкания#higher-order functions

Статья

Установка и инструментарий Elixir: asdf, Mix, Hex, форматтер, Credo, Dialyzer

Ставим Erlang/Elixir через менеджер версий, разбираем Mix и Hex, настраиваем форматтер, линтер Credo, статический анализ Dialyzer и LSP для IDE, изучаем структуру …

#elixir#инструменты#сборка

Статья

Тестирование в Elixir: ExUnit, async, doctests, Mox и property-based со StreamData

ExUnit и асинхронные тесты, doctests из документации, моки через Mox и поведения, property-based тестирование со StreamData, покрытие, тест-пирамида и интеграция в CI.

#elixir#тестирование#моки

Статья

Основы Elixir: паттерн-матчинг, неизменяемость, структуры данных и управление потоком

Синтаксис, типы данных, паттерн-матчинг как основа языка, неизменяемость, коллекции Enum/Stream, управление потоком и модель значений в Elixir.

#elixir#основы#структуры данных

Статья

Обработка ошибок в ФП: Option, Either, Result, накопление ошибок

Почему исключения и null плохо масштабируются, как Option, Either и Result делают отказ частью типа, чем аппликативное накопление ошибок отличается от монадического …

#функциональное программирование#обработка ошибок#монады

Статья

Метапрограммирование Elixir: AST, quote/unquote, гигиена, макросы и DSL

Как код Elixir становится данными: структура AST, quote и unquote, гигиена переменных, этапы компиляции, use и using, @before_compile, построение собственного DSL и …

#elixir#метапрограммирование#макросы

Статья

Конкурентность в ФП: неизменяемость, STM, акторы

Почему разделяемое изменяемое состояние — источник почти всех багов конкурентности, и что предлагают взамен ФП-модели: STM, акторы, каналы, чистый параллелизм. С честной …

#функциональное программирование#конкурентность#многопоточность

Статья

Конкурентность в Elixir: процессы, OTP, супервизия, GenStage/Broadway и распределённость

Акторная модель BEAM: процессы, spawn/send/receive, ссылки и мониторы, let it crash, OTP (GenServer, Supervisor, Task, Registry, DynamicSupervisor), стратегии …

#elixir#конкурентность#акторы

Статья

Композиция, каррирование, частичное применение и конвейеры

Как из маленьких функций собирать большие: композиция и её законы, каррирование и частичное применение, порядок аргументов data-first против data-last, конвейеры, …

#функциональное программирование#композиция функций#каррирование

Статья

Идиоматика Elixir и обработка ошибок: теги, with, поведения, протоколы, антипаттерны

Идиоматичный Elixir: tagged tuples, конструкция with, разница между ожидаемыми ошибками и падениями, поведения и протоколы, типичные антипаттерны и стиль кода.

#elixir#обработка ошибок#идиомы