Status of type system?
Tue Jul 11 19:15:14 CEST 2000
The Erlang type system has been used in the development of shipping
products, correct? As best I can tell, it is only for cross-checking
during development and the compiler doesn't use the information.
Are there any plans to integrate the type system into the Erlang release
and to possibly use the type data for improved code generation? If not,
what's the state of the type system?
More information about the erlang-questions