[erlang-questions] Intel Quad CPUs

David Terrell <>
Fri Sep 7 15:46:28 CEST 2007


On Fri, Sep 07, 2007 at 11:18:37AM +0200, Richard Carlsson wrote:
> Damien Morton wrote:
> > Allow me to apologise in advance for my ignorance, but why do edoc type 
> > specifications look like function calls?
> 
> The notation actually goes back to some early work on types in Erlang
> by Phil Wadler and Simon Marlow ("A practical subtyping system for
> Erlang", ICFP '97) - their ideas didn't fly, because they would cause
> a lot of existing code (already in '97) to be simply rejected by the
> compiler, and that just wasn't realistic. But the notation lives on,
> and has been used both in edoc and in every other work on typing in
> Erlang that I know of.

Interesting.  For those of us who like to bore everybody else with
historical questions...  Was this the motivation for the change
from integer(X) to is_integer(X) in guards?

Thanks.

-- 
David Terrell

((meatspace)) http://meat.net/



More information about the erlang-questions mailing list