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,61e9062c1f23b9d5
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.hanau.net!noris.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Reconsidering assignment
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <1181165630.012508.55290@i38g2000prf.googlegroups.com>
 <19fxsxv1god43$.1pqq8vgfu2itn$.dlg@40tude.net>
 <1181428673.148991.76570@p77g2000hsh.googlegroups.com>
 <f4k5s1$9rr$1@jacob-sparre.dk>
 <1181596329.198235.320830@w5g2000hsg.googlegroups.com>
 <1v0wjynus2uj6$.b4qm8649j38o$.dlg@40tude.net>
 <1181640696.5705.3.camel@kartoffel>
Date: Tue, 12 Jun 2007 12:03:17 +0200
Message-ID: <zflq635soj5l$.p38j5ip85c4x$.dlg@40tude.net>
NNTP-Posting-Date: 12 Jun 2007 12:00:40 CEST
NNTP-Posting-Host: 645ba7f0.newsspool1.arcor-online.net
X-Trace: 
 DXC=nJ[GP<cFaD8D]ncZ]`hZ;1ic==]BZ:af>4Fo<]lROoR1Fl8W>\BH3Y2ONH2D4jXJ08DNcfSJ;bb[5FCTGGVUmh?4LK[5LiR>kg2fJ9O2k=2Bg6
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:16169
Date: 2007-06-12T12:00:40+02:00
List-Id: <comp.lang.ada>

On Tue, 12 Jun 2007 11:31:37 +0200, Georg Bauhaus wrote:

> What about argument pattern matching?

Type inference? I don't like it. I prefer to see explicit ADT with its
operations.

BTW, what is the problem argument pattern matching is supposed to solve?
Multiple-dispatch? Then how patterns might help in fulfilling the
requirement that the dispatch never fails on any combination of arguments?
Comparing patterns (the formal languages of) is far more difficult. How
patterns get inherited? How to enforce execution of a defined part of the
constructor/destructor/procedure on all descendants using patterns? How to
compose a polymorphic body with them? etc.

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