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,21960280f1d61e84
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news4.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!feeder.news-service.com!proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: How come Ada isn't more popular?
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1169531612.200010.153120@38g2000cwa.googlegroups.com>
 <1169588206.234714.312650@k78g2000cwa.googlegroups.com>
 <T7mdnTQ-XfZMFCvYnZ2dnUVZ8tDinZ2d@bt.com>
 <1169624573.534128.172610@s48g2000cws.googlegroups.com>
 <3CLth.75328$wP1.8787@newssvr14.news.prodigy.net>
 <1169684558.876074.40530@s48g2000cws.googlegroups.com>
Date: Thu, 25 Jan 2007 11:42:09 +0100
Message-ID: <131v4hf64blr2$.gvlaas5ha329.dlg@40tude.net>
NNTP-Posting-Date: 25 Jan 2007 11:42:09 CET
NNTP-Posting-Host: 71ef254a.newsspool2.arcor-online.net
X-Trace: 
 DXC=<oMGm5KQePC[6=1B@oB@@@A9EHlD;3YcB4Fo<]lROoRAFl8W>\BH3YBKH<:?1VQR[MDNcfSJ;bb[EFCTGGVUmh?DLK[5LiR>kgB0de8R_SgLRH
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:8541
Date: 2007-01-25T11:42:09+01:00
List-Id: <comp.lang.ada>

On 24 Jan 2007 16:22:38 -0800, kevin  cline wrote:

> Christopher Grein demonstrated this conclusively in his
> paper on modeling scientific units in Ada.  C++ templates allow the
> straightforward construction of a compile-time safe system of physical
> units, allowing arbitrary computations, while Ada's explicit
> instantiation model forced one to rely on run-time checking.

There exist numerous application where run-time unit checking is a
requirement. For instance in automation and control, data acquisition and
distribution, HMI. Templates fail there.

BTW, I am afraid that the solution you referred to, is unable to handle �C,
�F. Not much promising, I would say...

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