Reconnectingβ¦
Tag
#dialyzer
3 articles
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 read
Β·
TomΓ‘Ε‘ Korcak (korczis)
dialyzer
typespec
success-typing
+2
Architecture
Type-Safe APIs: Building Robust Elixir Type Systems
Elixir is dynamically typed, but the Prismatic Platform achieves strong type safety through comprehensive @type definitions, @spec annotations, and Dialyzer analysis. This article covers the platform's type architecture.
Mar 17, 2026
Β·
11 min read
Β·
Prismatic Engineering
types
dialyzer
spec
+2
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 read
Β·
Tomas Korcak (korczis)
elixir
types
dialyzer
+2