With these two tools one can have a stronger type system than Haskell. PropEr is amazing work. Not to mention CED https://github.com/mariachris/CED which checks all possible state transitions for race conditions.
Yes, Dialyzer is quite cool. However it is run as a separate tool on your Erlang source right? What I'm aiming for is something that can be used interactively while at the REPL - Qi/Shen is the inspiration here.
Kostis Sagonas goes over PropEr and Dialyzer for Erlang.
http://groups.google.com/group/erlang-programming/browse_thr...
http://dialyzer.softlab.ntua.gr/
With these two tools one can have a stronger type system than Haskell. PropEr is amazing work. Not to mention CED https://github.com/mariachris/CED which checks all possible state transitions for race conditions.