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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,3f60acc31578c72b
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newscon06.news.prodigy.com!newscon02.news.prodigy.com!prodigy.net!newsfeed.cwix.com!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada
Subject: Re: question about tasks, multithreading and multi-cpu machines
Date: 16 Mar 2006 09:11:10 -0600
Organization: LJK Software
Message-ID: <DBKaOHn1pKME@eisner.encompasserve.org>
References: <dv6qsd$lg0$00$1@news.t-online.com>
 <biuje3-olg.ln1@newserver.thecreems.com> <dvb69k$88t$1@sunnews.cern.ch>
 <1b9zea3ok5znb.13wc5k9as88ix.dlg@40tude.net>
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1142521802 10103 192.135.80.34 (16 Mar 2006
 15:10:02 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Thu, 16 Mar 2006 15:10:02 +0000 (UTC)
Xref: g2news1.google.com comp.lang.ada:3380
Date: 2006-03-16T09:11:10-06:00
List-Id: <comp.lang.ada>

In article <1b9zea3ok5znb.13wc5k9as88ix.dlg@40tude.net>, "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> On Thu, 16 Mar 2006 09:06:12 +0100, Maciej Sobczak wrote:
> 
>> The tasks in Ada do not match any of the above. Other languages (for 
>> example Java) also got it wrong, by treating threads as objects or even 
>> by allowing a programmer to "subclass" or "specialize" a thread class. 
> 
> Hmm, if task type is a type then it should obey operations of the types
> algebra, which includes inheritance, aggregation. So I vote for tagged task
> types.

Does Ada 2005 include tagged numeric types ?

How about arithmetic on record types ?