[erlang-questions] Intel Quad CPUs

[Kostis Sagonas]

Serge Aleynikov wrote:
> Kostis Sagonas wrote:
>> To give you an idea, in edoc you currently write something of the form:
>>
>> %% @spec (integer(), float()) -> atom()
>>
>> to describe the types of a function foo.  In the new language you 
>> would write (or preferably change the above edoc comment to be):
>>
>> -spec(foo/2 :: ((integer(), float()) -> atom())).
>>
> 
> Would there be a way to specify concrete values (such as atoms 'ok' and 
> 'error' shown below) rather than types, similar to edoc style?
> 
> @spec () -> {ok, integer()} | {error, string()}

Yes.  This exists already.

Kostis