[erlang-questions] pluggable type systems? (Re: dialyzer apparently-erroneously thinking a spec is underspecified)

Raoul Duke raould@REDACTED
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 mailing list