[erlang-questions] How to access functions type signatures?

Dimitry Golubovsky golubovsky@REDACTED
Sun Aug 10 06:26:53 CEST 2008


Joseph,

On Wed, Jul 30, 2008 at 10:12 AM, Joseph Wayne Norton
<norton@REDACTED> wrote:
> Dimitry -
>
> If edoc specs are available, edoc can be used for this purpose.  The
> outputed xml can be parsed.  There might be other (or better approaches).
>

This way it works perfectly, thanks for the suggestion. What if edoc
specs are not available (developer simply omitted them as they are not
mandatory)? In some cases type spec may be written for a function with
arity X, but omitted for arity X-1 and same name.

There was some static type check tool for Erlang mentioned named TypEr
[1]: is it capable to produce such specs?

Thank you.

[1] http://www.erlang.se/workshop/2005/TypEr_Erlang05.pdf which means
that it has been around for some time (since 2005): what is its
current status?

-- 
Dimitry Golubovsky

Anywhere on the Web



More information about the erlang-questions mailing list