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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1cf653444208df72
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-10-10 08:15:22 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed00.sul.t-online.de!t-online.de!newsfeed.r-kom.de!news.m-online.net!news-FFM2.ecrc.net!news.iks-jena.de!lutz
From: lutz@iks-jena.de (Lutz Donnerhacke)
Newsgroups: comp.lang.ada
Subject: Re: ada vs. cpp
Date: Wed, 10 Oct 2001 15:15:20 +0000 (UTC)
Organization: IKS GmbH Jena
Message-ID: <slrn9s8pg7.4j.lutz@taranis.iks-jena.de>
References: <mailman.1002724898.8980.comp.lang.ada@ada.eu.org>
NNTP-Posting-Host: taranis.iks-jena.de
X-Trace: branwen.iks-jena.de 1002726920 29921 217.17.192.37 (10 Oct 2001
 15:15:20 GMT)
X-Complaints-To: usenet@iks-jena.de
NNTP-Posting-Date: Wed, 10 Oct 2001 15:15:20 +0000 (UTC)
User-Agent: slrn/0.9.6.3 (Linux)
Xref: archiver1.google.com comp.lang.ada:14160
Date: 2001-10-10T15:15:20+00:00
List-Id: <comp.lang.ada>

* Steven Deller wrote:
>> * Dmitry Kazakov wrote:
>> >1. If you mean that Ada has no type to represent the whole set of all
>> >integers, yes it is true. [as well as it is for all other languages
>> >designed for finite discrete machines]
>>
>> man Haskell. (or any other lazy evaluation language with
>> unlimited arithmetics)
>
>Of course that is limited by the machine memory, so it is unlimited, but not
>infinite and thus doesn't cover all integers either.

That's not my point.

In Haskell you write down an algorithms assuming unlimited ressources.
Due to lazy evaluation in a concrete situation with defined input data
the program executes in limited space (and time).

>Numerous unlimited arithmetic packages have been defined in Ada for
>integers, for rational's and for floating point.  Any type derived from
>those packages have the unlimited aspect you are looking for.  And they are
>used "naturally",

Of course. But Ada does not allow to use them as real scalars. You can't use
them as array indices or slides or even subtypes. Haskell does not limit this.
You can even define and work with the infinite entity 'all natural numbers'.

>I also believe one could create a symbolic processing type, which just
>collected operators without evaluation, and doing symbolic simplification
>before assignments.

Every language discussed so far is computionally equivalent to Brainfuck.
A language with an oracle or random source convers much more.