[erlang-questions] Intel Quad CPUs

Damien Morton dmorton@REDACTED
Fri Sep 7 15:50:39 CEST 2007

Ok, makes more sense to me now. Thanks.
> 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.
> Apart from separating atoms from types, note that it also easily
> extends to parameterized types, such as ordset(integer()), or
> dict(atom(), string()), so that it looks like function calls
> is quite natural when you think about it.
>      /Richard
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://www.erlang.org/mailman/listinfo/erlang-questions

More information about the erlang-questions mailing list