[erlang-questions] soft/optional typing

Raoul Duke <>
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.

sincerely.



More information about the erlang-questions mailing list