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,c406e0c4a6eb74ed
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.freenet.de!news-lei1.dfn.de!news-ham1.dfn.de!news.uni-hamburg.de!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: Formal and informal type systems?
Date: Tue, 28 Sep 2004 11:02:54 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <cjbgcu$fh0$1@a1-hrz.uni-duisburg.de>
References: <49dc98cf.0408110556.18ae7df@posting.google.com>
   <m3wtz7e4hd.fsf@rigel.goldenthreadtech.com>
 <413e2fbd$0$30586$626a14ce@news.free.fr> <wvbrsm9tjg7e.fsf@sun.com>
 <m3n000bv64.fsf@rigel.goldenthreadtech.com>
 <DjH%c.10540$w%6.8640@newsread1.news.pas.earthlink.net>
 <m3656obc1w.fsf@rigel.goldenthreadtech.com>
 <plbrfqoln6.fsf_-_@sparre.crs4.it>
 <m3mzza7ohc.fsf@0x53586c1f.boanxx18.adsl-dhcp.tele.dk>
 <mailman.121.1096365964.390.comp.lang.ada@ada-france.org>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1096369374 15904 134.91.1.34 (28 Sep 2004
 11:02:54 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Tue, 28 Sep 2004 11:02:54 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: g2news1.google.com comp.lang.ada:4318
Date: 2004-09-28T11:02:54+00:00
List-Id: <comp.lang.ada>

Marius Amado Alves <amado.alves@netcabo.pt> wrote:
: Mark Lorenzen wrote:
:> Some things I miss in Ada that are available in ML: Higher order
:> functions, pattern matching and tuples.

 [GNAT.SPITBOL]

Maybe the phrase "argument pattern matching" should be substituted
for "pattern matching" outside "functional communities", to avoid
misunderstandings. From a user's perspective, argument pattern
matching has little to to with grammar based pattern matching of
strings. Rather, it is distant relative of 'class and case.

: In Ada you have, respectively: access-to-subprograms types,

but functions cannot carry their environments with them, to the same
extent?

Mark, did you mean tuple matching when you said that tuples (records
and arrays interchangeably) are missing in Ada?

-- Georg