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

Joseph Wayne Norton <>
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.

thanks,


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

> Joseph,
>
> On Wed, Jul 30, 2008 at 10:12 AM, Joseph Wayne Norton
> <> 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