[erlang-questions] pluggable type systems? (Re: dialyzer apparently-erroneously thinking a spec is underspecified)
Thu Dec 10 23:27:59 CET 2015
> The type system that Dialyzer is based on (success types)
Has anybody ever mucked with other type systems for Erlang/Dialyzer?
In some fantasy parallel universe that is full of rainbows and stuff,
it would be cool to be able to plug them into some single tool, so one
could try different / multiple static checks.
More information about the erlang-questions