This is totally the wrong venue for asking, but just in case:
Is a "better" Dialyzer part of the Elixir vision at all? (Where "better" could be "catching more errors", or "better error messages", or "faster", etc.)
Conversation
Replying to
2
6
Nice! One thing: would a stricter version (intentionally not going the "success typing" route, to catch more errors, with better flow analysis to compensate for false positives) be at all accepted if it were possible to pull off?
3
I'd definitely be interested in something stricter. Even just for the functional subset. Wasn't there an effort before to add types to Erlang, but people got stuck on pids and messages?
Replying to
Messages, yes, if you want to check coherency between different things that send+receive them. It's fine if you treat all messages like a mystery-box top type you need to match a subset of, though, as far as I can tell. (I've more digging to do in this area.)
2