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

Joseph Wayne Norton norton@REDACTED
Mon Aug 11 06:46:54 CEST 2008

Dimitry -

You may also want to look at the dialyzer tool.  Beyond that, I don't have  
any additional suggestions. I would be interested though to hear if you  
find anything else helpful or related.


On Sun, 10 Aug 2008 13:26:53 +0900, Dimitry Golubovsky  
<golubovsky@REDACTED> wrote:

> 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?


More information about the erlang-questions mailing list