Re: Ada-Singleton-Why does it work like this?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Thu, 26 Mar 2009 15:07:39 +0100, Georg Bauhaus wrote:

> Maciej Sobczak schrieb:
> 
>> Or not - maybe it is a way to express some property of the *type* that
>> cannot be expressed due to the limitations in the language?
> 
> If "type" means the tuple ({values}, operations), then these
> should be a few types where |{values}| = 1.

No, singleton does not mean "one value." It means "one object." For
example, already mentioned standard printer, or, say, system clock. They
are singletons. The latter one has an infinitely uncountable number of
values (states).

(OK, in quantum theory, clock might be countable, nevertheless, it is far
more than 1)

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de