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: a07f3367d7,f3bebae566a54cab
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!de-l.enfer-du-nord.net!feeder2.enfer-du-nord.net!gegeweb.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Some exciting new trends in concurrency and software design
Date: Thu, 23 Jun 2011 12:25:00 +0200
Organization: cbb software GmbH
Message-ID: <1v2auyktde5q4.1wqpdg3fval5k.dlg@40tude.net>
References: 
 <8a5765ba-622a-42cd-9886-28ed7cfed31e@s17g2000yqs.googlegroups.com>
 <4dff5be5$0$6565$9b4e6d93@newsspool3.arcor-online.net>
 <9b65f3c7-caee-440f-99ed-0b257221ce58@m24g2000yqc.googlegroups.com>
 <b66eac0c-c65b-4a9c-b872-dd07841ba3a8@o10g2000prn.googlegroups.com>
 <op.vxiwp1onule2fv@douda-yannick>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: g2news1.google.com comp.lang.ada:20013
Date: 2011-06-23T12:25:00+02:00
List-Id: <comp.lang.ada>

On Thu, 23 Jun 2011 11:59:51 +0200, Yannick Duch�ne (Hibou57) wrote:

[...]
> with FP, you will not bother about defining a  
> range for an integer type, instead, it may rely on big numbers, which are  
> obviously less efficient and only limited by available memory and CPU  
> speed, which is obviously not acceptable at all in many case.

This is a weak argument. The strong one is that the mathematical numbers
used in engineering are simply incomputable. The question is not efficiency
("how"), it is "if": you cannot represent numbers involved, e.g. real
numbers. Engineering computations are on the model numbers, where range is
just one constraint among others.

All programming is actually about constraints, which makes things so hard,
mathematically, algorithmically and also in terms of types (e.g. LSP
violation). Ignoring this does not help.

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