Шпаргалка по языку программирования Elixir

Elixir — динамический функциональный язык для создания масштабируемых и отказоустойчивых приложений на базе Erlang VM (BEAM).

🔗 Связанные руководства: Шпаргалка по метапрограммированию в Elixir · Шпаргалка по Absinthe GraphQL · Шпаргалка по фреймворку Phoenix

Первые шаги (Getting Started)

# hello.exs
defmodule Greeter do
  def greet(name) do
    message = "Hello, " <> name <> "!"
    IO.puts(message)
  end
end

Greeter.greet("world")

Запуск через командную строку Elixir:

elixir hello.exs
# => Hello, world!

---

Переменные и неизменяемость (Variables & Immutability)

age = 23
age = 24 # Пересвязывание (не мутирует исходное значение в памяти)

---

Карты (Maps)

user = %{
  name: "John",
  city: "Melbourne"
}

IO.puts("Hello, " <> user.name)

---

Списки (Lists)

users = ["Tom", "Dick", "Harry"]

Enum.each(users, fn user ->
  IO.puts("Hello " <> user)
end)

---

Пайплайн-оператор (Pipe Operator |>)

Передает результат выражения слева в качестве первого аргумента функции справа:

source
|> transform(:hello)
|> print()

# Эквивалентно записи:
print(transform(source, :hello))

---

Сопоставление с образцом (Pattern Matching)

Оператор = в Elixir выполняет структурное сопоставление с образцом:

user = %{name: "Tom", age: 23}
%{name: username} = user
# username is bound to "Tom"

# Пин-оператор (^) сверяет значение без повторного связывания
x = 1
^x = 1  # Успех
# ^x = 2 # Ошибка MatchError

Сопоставление с образцом в заголовках функций

defmodule UserGreeter do
  def greet(%{name: username}) do
    IO.puts("Hello, " <> username)
  end
end

---

Управление потоком (Control Flow)

if & unless

if status == :ok do
  "Ready"
else
  "Pending"
end

case

case {1, 2, 3} do
  {4, 5, 6} -> "No match"
  {1, x, 3} -> "Matches and binds x to 2"
  _ -> "Wildcard matches any value"
end

cond

Последовательно проверяет условия до первого истинного:

cond do
  1 + 1 == 3 -> "Never matches"
  2 * 5 == 12 -> "Neither"
  true -> "Matches (acts as else)"
end

with

Безопасно связывает несколько сопоставлений и выходит при первой ошибке:

with {:ok, {int, _}} <- Integer.parse("123abc"),
     {:ok, datetime, _offset} <- DateTime.from_iso8601("2026-10-25T12:00:00Z") do
  DateTime.add(datetime, int, :second)
else
  :error -> "Invalid integer format"
  {:error, :invalid_format} -> "Invalid ISO datetime"
  _ -> "Unhandled error"
end

---

Типы данных и операторы (Types & Operators)

is_atom/1       is_boolean/1    is_binary/1
is_integer/1    is_float/1      is_number/1
is_list/1       is_map/1        is_tuple/1
is_nil/1        is_function/1   is_pid/1

---

Коллекции и структуры данных (Collections & Data Structures)

Maps

m = %{name: "Alice", age: 30}

# Синтаксис обновления существующего ключа
m = %{m | age: 31}

# Функции модуля Map
Map.get(m, :name)                # "Alice"
Map.put(m, :city, "Tokyo")       # Adds :city
Map.delete(m, :age)              # Removes :age
Map.merge(m, %{active: true})    # Merges maps

---

Lists & Enums

list = [1, 2, 3, 4]

# Добавление в начало O(1) и в конец O(N)
[0 | list]    # [0, 1, 2, 3, 4]
list ++ [5]   # [1, 2, 3, 4, 5]

# Операции с Enum
Enum.map(list, &(&1 * 2))        # [2, 4, 6, 8]
Enum.filter(list, fn x -> rem(x, 2) == 0 end) # [2, 4]
Enum.reduce(list, 0, &+/2)       # 10

---

Функции (Functions)

# Анонимная функция
add = fn a, b -> a + b end
add.(2, 3) # 5

# Синтаксис захвата (Capture)
square = &(&1 * &1)
square.(5) # 25

# Захват ссылки на существующую функцию
fun = &String.upcase/1
fun.("hello") # "HELLO"

---

Структуры и протоколы (Structs & Protocols)

defmodule User do
  defstruct name: "", age: nil
end

user = %User{name: "Alice", age: 30}
user.name # "Alice"

defprotocol Blank do
  @doc "Returns true if data is empty"
  def blank?(data)
end

defimpl Blank, for: List do
  def blank?([]), do: true
  def blank?(_), do: false
end

Blank.blank?([]) # true

---

Генераторы списков (for)

for n <- 1..5, do: n * 2
# => [2, 4, 6, 8, 10]

for n <- 1..10, rem(n, 2) == 0, do: n
# => [2, 4, 6, 8, 10]

for {k, v} <- %{a: 1, b: 2}, into: %{}, do: {k, v * 10}
# => %{a: 10, b: 20}

---

Поведения и спецификации типов (Behaviours & Type Specs)

defmodule Parser do
  @callback parse(String.t()) :: {:ok, any()} | {:error, String.t()}
  @callback extensions() :: [String.t()]
end

defmodule JSONParser do
  @behaviour Parser

  @impl Parser
  def parse(str), do: {:ok, str}

  @impl Parser
  def extensions, do: [".json"]
end