[7kmph]

Compared with the type checker in Haskell elm rust, dialyzer isn’t that good, we tried it two or three years ago in our project, I wouldn’t even call it useful.

[dnautics]

It's more useful with a code editor that runs it all the time and subtly encourages you to write specs.