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.