[erlang-questions] soft/optional typing
Wed Jun 13 22:58:19 CEST 2007
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