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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,24d7acf9b853aac8
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!cleanfeed1-a.proxad.net!nnrp14-1.free.fr!not-for-mail
Date: Tue, 10 Aug 2010 13:06:58 +0200
From: _FrnchFrgg_ <frnchfrgg@free.fr>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.9.1.10) Gecko/20100619 Icedove/3.0.5
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: S-expression I/O in Ada
References: <547afa6b-731e-475f-a7f2-eaefefb25861@k8g2000prh.googlegroups.com>
 <bd4cba52-3e2c-4160-89bd-1f460271bcf9@5g2000yqz.googlegroups.com>
 <46866b8yq8nn$.151lqiwa0y2k6.dlg@40tude.net>
 <13b07f2c-2f35-43e0-83c5-1b572c65d323@y11g2000yqm.googlegroups.com>
 <13tpf7ya3evig$.h05p3x08059s$.dlg@40tude.net>
 <ee8ec904-60c1-405d-925f-89eba34a44d0@l20g2000yqm.googlegroups.com>
 <wccvd7l86f4.fsf@shell01.TheWorld.com>
 <1omt2srxtpsga$.c3hbxthzo6cf.dlg@40tude.net>
 <wcc4of4ub1x.fsf@shell01.TheWorld.com>
 <1e4cch2df5uyb.18brqdd16dhv8.dlg@40tude.net>
 <wccd3tsizh9.fsf@shell01.TheWorld.com>
 <cba4ng6r4ko9$.158m00g3j3x2a.dlg@40tude.net>
 <wcc7hjzzylp.fsf@shell01.TheWorld.com>
 <14y70ke8am9qw$.2csc9eflvigg.dlg@40tude.net>
 <4c601b5c$0$7665$9b4e6d93@newsspool1.arcor-online.net>
 <9czktq4ntzq7.fhbsnocx0x4w$.dlg@40tude.net>
 <wcc7hjzspfy.fsf@shell01.TheWorld.com>
 <tg5qbr47zjz4$.2ywa2b17s656.dlg@40tude.net>
 <4c6078f9$0$12500$426a74cc@news.free.fr>
 <m2lc69olg9ns.67u99qe54cv.dlg@40tude.net>
In-Reply-To: <m2lc69olg9ns.67u99qe54cv.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <4c6132d2$0$8378$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 10 Aug 2010 13:06:58 MEST
NNTP-Posting-Host: 82.233.38.63
X-Trace: 1281438418 news-3.free.fr 8378 82.233.38.63:56697
X-Complaints-To: abuse@proxad.net
Xref: g2news1.google.com comp.lang.ada:13048
Date: 2010-08-10T13:06:58+02:00
List-Id: <comp.lang.ada>

Le 10/08/2010 09:16, Dmitry A. Kazakov a �crit :
> On Mon, 09 Aug 2010 23:54:00 +0200, _FrnchFrgg_ wrote:
>> I think that you want pattern matching
>> (http://en.wikipedia.org/wiki/Standard_ML#Algebraic_datatypes_and_pattern_matching)
>
> No, I don't believe in type inference, in fact I strongly disbelieve in it.

Unification and pattern matching is independent of type inference. Sure, 
most of the time you find both in the same languages, but IIRC in the 
course of my master, I have encountered languages with one but not the 
other.