type system in erlang?

Rachwal Waldemar-AWR001 <>
Wed Dec 14 15:03:30 CET 2005


What's happened with a type system? I've noticed a few papers and even
someone's claim that "we got a type system". I realized it was premature
but undoubtedly optimistic. Have opinions changed on the type system in
erlang since that time? I know there is Dialyzer, but it's not the same.
Waldemar.



More information about the erlang-questions mailing list