[erlang-questions] soft/optional typing
Wed Jun 13 10:40:56 CEST 2007
Tobias Lindahl wrote:
> A current work is to incorporate a contract language in the framework,
> in both order to get better analysis results, and to serve as a
> complement to the edoc documentation. These contracts are currently
> expressed as type schemes with bounded quantification. The first
> priority is not to build a type checker since this would limit the
> expressibility of Erlang. Instead we would like the users to
> incrementally add type information where they want, and the anlysis can
> tell you where the information cannot be correct. If the analysis cannot
> find any inconsistencies, the contracts are trusted and can be used to
> find better information in the later stages.
> The results from the contract work looks promising and we hope to
> present it on the Erlang Workshop.
This sounds promising. Not having read the papers yet; Do you know what
the syntax will be? Can you give a simple example?
More information about the erlang-questions