[erlang-questions] idea: service pack one

Thomas Lindgren thomasl_erlang@REDACTED
Wed Nov 14 09:29:50 CET 2007

--- Joe Armstrong <erlang@REDACTED> wrote:

> 4 +++ compile the @spec definitions in comments into
> code that
> *dynamically* checks types
>         who cares if it's slow and can't be checked
> statically - the
> dynamic check is very useful
>         while developing

I have some local code that does this, though the
@spec syntax is more like the man pages than edoc, but
I assume that the Hipe tools will do (dynamic?)
contract checking in the near future? There have been
some strong hints about this, at least.


Never miss a thing.  Make Yahoo your home page. 

More information about the erlang-questions mailing list