Status of type system?

James Hague <>
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?

James



More information about the erlang-questions mailing list