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!news1.google.com!news.glorb.com!news.icp.pl!newsfeed.atman.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: Wojtek Narczynski <wojtek@power.com.pl>
Newsgroups: comp.lang.ada
Subject: Re: Formal and informal type systems?
Date: Tue, 28 Sep 2004 22:34:09 +0200
Organization: tp.internet - http://www.tpi.pl/
Message-ID: <pan.2004.09.28.20.34.08.494893@power.com.pl>
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>
 <cjbgcu$fh0$1@a1-hrz.uni-duisburg.de>
 <m3r7om8bsl.fsf@0x53586c34.boanxx18.adsl-dhcp.tele.dk>
 <m3fz525epv.fsf@rigel.goldenthreadtech.com>
NNTP-Posting-Host: avk219.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: nemesis.news.tpi.pl 1096403855 13435 83.27.44.219 (28 Sep 2004
 20:37:35 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Tue, 28 Sep 2004 20:37:35 +0000 (UTC)
User-Agent: Pan/0.14.2 (This is not a psychotic episode. It's a cleansing
 moment of clarity.)
Xref: g2news1.google.com comp.lang.ada:4338
Date: 2004-09-28T22:34:09+02:00
List-Id: <comp.lang.ada>

 
>> Some things I miss in Ada that are available in ML: Higher order
>> functions, pattern matching and tuples.
> 
> That has nothing to do with the type system.  Lisp (obviously) also
> has higher order functions, Common Lisp has argument pattern matching
> via generic functions (especially via the eql specializer), etc.

Well, I tend to disagree.

LISP (runtime, obviously) typechecking mandates use of function as
arguments and values, so it has something to do with the type system.

Tuples are purely a typesystem thing, it's a way to construct new type
from existing types by taking their carthesian product.

Pattern matching has this to do with type system, that it is most useful
on algebraic datatypes, that the type system in question must support.

Regards,
Wojtek