eh I would say that dialyzer is kind of a 1.5-class citizen, at least of Elixir....

dnautics on June 21, 2019 | parent | context | favorite | on: Open-sourcing Sorbet: a fast, powerful type checke...

eh I would say that dialyzer is kind of a 1.5-class citizen, at least of Elixir. It operates using a very different AST with somewhat different "ideas" of what is what, and writing typespecs in macros is not... easy.