type system in erlang?

Joakim G. jocke@REDACTED
Thu Dec 15 22:10:42 CET 2005

Kostis Sagonas wrote:
> Waldemar Rachwal wrote:


> PS. FYI, we are currently working on the following two directions:
>      1. Getting Dialyzer into Erlang/OTP.


>      2. Developing Typer, a tool that will automatically annotate
>         Erlang source code with Edoc-compatible type information.

Yes, yes, yes! Very useful.


More information about the erlang-questions mailing list