type system in erlang?

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


Kostis Sagonas wrote:
> Waldemar Rachwal wrote:

<cut>

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

Good

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

Yes, yes, yes! Very useful.

/Jocke
--
tail-f



More information about the erlang-questions mailing list