#dialyzer

engineering

Dialyzer, @spec, and the Shape of Correctness

Dialyzer is not a type checker. It's a proof assistant that accepts anything you can't prove wrong — and that is exactly what you want for a 94-app umbrella. Here's how Prismatic uses @spec and success typing without it becoming busywork.

Apr 09, 2026 ·7 min

engineering

Building Type-Safe APIs in Elixir with Specs and Dialyzer

How to leverage @spec, @type, and Dialyzer to build robust type-safe API layers in Elixir, with practical examples from API response types and domain models.

Mar 06, 2026 ·10 min