[erlang-questions] Type Server

Tim Watson <>
Thu Mar 1 16:43:33 CET 2012

Hi all,

Both PropEr and Dialyzer appear to have a 'type server' that provides functions for working with type specs. What are the chances of this being available as a separate unit? There is currently very little support for working with types, as the previous post about lack of support in erl_syntax pointed out. It would be nice to see type specs being better supported.



More information about the erlang-questions mailing list