type system in erlang?

Rachwal Waldemar-AWR001 Waldemar.Rachwal@REDACTED
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.

More information about the erlang-questions mailing list