Elixir Thinking
Mental shifts required before writing Elixir. These contradict conventional OOP patterns.
The Iron Law
NO PROCESS WITHOUT A RUNTIME REASON
Before creating a GenServer, Agent, or any process, answer YES to at least one:
- Do I need mutable state persisting across calls?
- Do I need concurrent execution?
- Do I need fault isolation?
All three are NO? Use plain functions. Modules organize code; processes manage runtime.
The Three Decoupled Dimensions
OOP couples behavior, state, and mutability together. Elixir decouples them:
| OOP Dimension | Elixir Equivalent |
|---|
| Behavior | Modules (functions) |
| State | Data (structs, maps) |
| Mutability | Processes (GenServer) |
Pick only what you need. "I only need data and functions" = no process needed.
"Let It Crash" = "Let It Heal"
The misconception: Write careless code.
The truth: Supervisors START processes.
- Handle expected errors explicitly ( / )
- Let unexpected errors crash → supervisor restarts
Control Flow
Pattern matching first:
- Match on function heads instead of or in bodies
- matches ANY map—use guard for empty maps
- Avoid nested —refactor to single , , or separate functions
Error handling:
- Use / for operations that can fail
- Avoid raising exceptions for control flow
- Use for chaining / operations
Be explicit about expected cases:
- Avoid catch-alls—they silently swallow unexpected cases
- Avoid nil-punning—obscures actual return types
- When a case has alongside
{:ok, value} -> value.field
, use instead:
elixir
# Verbose
case get_run(id) do
{:ok, nil} -> nil
{:ok, run} -> run.recommendations
end
# Prefer
with {:ok, %{recommendations: recs}} <- get_run(id), do: recs
Polymorphism
| For Polymorphism Over... | Use | Contract |
|---|
| Modules | Behaviors | Upfront callbacks |
| Data | Protocols | Upfront implementations |
| Processes | Message passing | Implicit (send/receive) |
Behaviors = default for module polymorphism (very cheap at runtime)
Protocols = only when composing data types, especially built-ins
Message passing = only when stateful by design (IO, file handles)
Use the simplest abstraction: pattern matching → anonymous functions → behaviors → protocols → message passing. Each step adds complexity.
When justified: Library extensibility, multiple implementations, test swapping.
When to stay coupled: Internal module, single implementation, pattern matching handles all cases.
Data Modeling Replaces Class Hierarchies
OOP: Complex class hierarchy + visitor pattern.
Elixir: Model as data + pattern matching + recursion.
elixir
{:sequence, {:literal, "rain"}, {:repeat, {:alternation, "dogs", "cats"}}}
def interpret({:literal, text}, input), do: ...
def interpret({:sequence, left, right}, input), do: ...
def interpret({:repeat, pattern}, input), do: ...
Defaults and Options
Use
variants (
,
) instead of case statements branching on
:
elixir
# WRONG
case Keyword.get(opts, :chunker) do
nil -> chunker()
config -> parse_chunker_config(config)
end
# RIGHT
Keyword.get(opts, :chunker, :default) |> parse_chunker_config()
Don't create helper functions to merge config defaults. Inline the fallback:
elixir
# WRONG
defp merge_defaults(opts), do: Keyword.merge([repo: Application.get_env(:app, :repo)], opts)
# RIGHT
def some_function(opts) do
repo = opts[:repo] || Application.get_env(:app, :repo)
end
Idioms
- Process dictionary is typically unidiomatic—pass state explicitly
- Reserve names for guards only
- Use structs over maps when shape is known:
- Prepend to lists not
- Use for debugging—prints formatted value with context
- Use built-in module (Elixir 1.18+) instead of Jason
Testing
Test behavior, not implementation. Test use cases / public API. Refactoring shouldn't break tests.
Test your code, not the framework. If deleting your code doesn't fail the test, it's tautological.
Keep tests async. means you've coupled to global state. Fix the coupling:
| Problem | Solution |
|---|
| Pass config as function argument |
| Feature flags | Inject via process dictionary or context |
| ETS tables | Create per-test tables with unique names |
| External APIs | Use Mox with explicit allowances |
| File system operations | Use (see below) |
Use for file tests. ExUnit creates unique temp directories per test, async-safe:
elixir
@tag :tmp_dir
test "writes file", %{tmp_dir: tmp_dir} do
path = Path.join(tmp_dir, "test.txt")
File.write!(path, "content")
assert File.read!(path) == "content"
end
Directory is auto-cleaned before each run. Works with
for all tests in module.
Common Rationalizations
| Excuse | Reality |
|---|
| "I need a process to organize this code" | Modules organize code. Processes are for runtime. |
| "GenServer is the Elixir way" | Plain functions are also the Elixir way. |
| "I'll need state eventually" | YAGNI. Add process when you need it. |
| "It's just a simple wrapper process" | Simple wrappers become bottlenecks. |
| "This is how I'd structure it in OOP" | Rethink from data flow. |
Red Flags - STOP and Reconsider
- Creating process without answering the three questions
- Using GenServer for stateless operations
- Wrapping a library in a process "for safety"
- One process per entity without runtime justification
- Reaching for protocols when pattern matching works
Any of these? Re-read The Iron Law.