Dialyzer is a great tool but it has many issues, specially when it comes to Elixir. Many of these issues are explained by Chris Keathley from Bleacher report: https://devchat.tv/elixir-mix/emx-071-the-problem-with-dialyzer-with-chris-keathley/
To fix these issues, Chris created a library called Norm:
The idea is for this library to serve as a library that validates your data’s format. I get the idea from the talk that this is supposed to be a replacement for Dialyzer, but with a ton of additional features in the future (such as precondition and postcondition checks) and decent error messages.
However, I don’t understand how this is supposed to replace Dialyzer. With dialyzer I am just adding an annotation and then it works. With this I can’t add annotations, I really am not sure how I would/could replace Dialyzer with this.
- Has anyone tried this library?
- How would you use it to replace Dialyzer annotations? Any samples would be welcome!