[erlang-questions] soft/optional typing

Raoul Duke raould@REDACTED
Wed Jun 13 22:58:19 CEST 2007

hi Tobias,

Many thanks for your post.

> the option --succ_typings to dialyzer. Many more bugs are found, but

sounds very interesting.

> 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

wow! that's really neat news, to my ears. Erlang is an ever more cool
ecosystem in my mind because it is embracing a few different
approaches/habits/paradigms, in an inclusive fashion.


More information about the erlang-questions mailing list