From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b88383a5d9c51aa0
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!feeder.news-service.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!195.14.215.230.MISMATCH!news.netcologne.de!newsfeed-hp2.netcologne.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada-Singleton-Why does it work like this?
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <5a7a870c-40e2-4803-8753-0f9cfd2b800f@k2g2000yql.googlegroups.com>
 	<WFbyl.30045$DP1.2209@attbi_s22>
 <6d2b2c67-22fb-4283-87ab-58357e47d5ca@v39g2000yqm.googlegroups.com>
 	<fubm0mevtul8.1obf4q1pf440d.dlg@40tude.net>
 <fba0a5d5-1192-4249-adb6-399c2095ef37@y13g2000yqn.googlegroups.com>
 	<d17wc7j2z3l3.cz21lr9dq09u$.dlg@40tude.net>
 <adbbc069-28f5-4174-8178-d0154c717717@g19g2000yql.googlegroups.com>
 <49cb8c2b$0$31330$9b4e6d93@newsspool4.arcor-online.net>
Date: Thu, 26 Mar 2009 15:33:09 +0100
Message-ID: <y8i7orofpz10$.u5ik5qim0iqg.dlg@40tude.net>
NNTP-Posting-Date: 26 Mar 2009 15:33:09 CET
NNTP-Posting-Host: 8184829b.newsspool2.arcor-online.net
X-Trace: 
 DXC=cS2XXPL[d=E6PJ?[X6JIXEA9EHlD;3YcB4Fo<]lROoRA^YC2XCjHcbI1@B;VFgj1HGDNcfSJ;bb[EFCTGGVUmh?DLK[5LiR>kgB>2N3^NBS50F
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:5305
Date: 2009-03-26T15:33:09+01:00
List-Id: <comp.lang.ada>

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