[erlang-questions] Type contracts [WAS: Re: Intel Quad CPUs]

[Kostis Sagonas]

Tony Finch wrote:
> On Thu, 6 Sep 2007, Kostis Sagonas wrote:
>>      there needs to be way to distinguish between atoms (i.e.
>>      singleton types) and type names.
>>
>>      Some types can also take parameters.
> 
> I'd suggest using initial caps for type names...

This does not work since the contracts will also be able to take type 
variables.  For example, this is the type of lists:map/2:

   -spec(map/2 :: (((A) -> B), list(A)) -> list(B))).

also written more simply as:

   -spec(map/2 :: (((A) -> B), [A]) -> [B])).


Kostis