[erlang-questions] soft/optional typing

[jm]

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?

Jeff.