[erlang-questions] soft/optional typing

[Raoul Duke]

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.