#success-typing

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.