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,ab1d177a5a26577d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news4.google.com!feeder.news-service.com!94.75.214.39.MISMATCH!aioe.org!.POSTED!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: What's wrong with C++?
Date: Thu, 17 Feb 2011 20:34:03 +0100
Organization: Ada @ Home
Message-ID: <op.vq2ba1xhule2fv@douda-yannick>
References: 
 <1ee1a434-4048-48f6-9f5e-d8126bebb808@r19g2000prm.googlegroups.com>
 <b1f0b153-dc79-4b3c-a936-68723e76a4db@x1g2000yqb.googlegroups.com>
 <jbejuuszjy3y.vyllayr73kh0$.dlg@40tude.net>
 <alpine.WNT.2.00.1102170835130.5612@WHIRLWIND>
 <17coueqbf1p27.1g0wj3010saxe$.dlg@40tude.net>
NNTP-Posting-Host: uiRMzorGO3Dnqq02Vmmf3w.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/11.01 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Xref: g2news1.google.com comp.lang.ada:17357
Date: 2011-02-17T20:34:03+01:00
List-Id: <comp.lang.ada>

Le Thu, 17 Feb 2011 17:12:37 +0100, Dmitry A. Kazakov  =

<mailbox@dmitry-kazakov.de> a =C3=A9crit:
> The third note is that if inferred, then why should we care of types?
No, you have to care, and you still define types. You just don't have to=
  =

be so much redundant as you would be with, say, Ada. This is required wi=
th  =

functional language where you do not use side-effect (there may be some =
 =

side effect in SML which is not stricly pure, but you may not use side  =

effects as long as you don't want), where function returns rather comple=
x  =

types and get numerous parameters which are as much complexes. Without  =

type inference... functional program texts would simply be an unreadable=
  =

mess (:-))

> Now the main objection is computability and decidability. Only "simple=
"
> things can be inferred. The compiler cannot solve problems beyond
> Turing-completeness.
Actually, SML interpreters are required to complain if ever that occurs,=
  =

and the program will not start at all. So there is nothing like such a  =

problem.


-- =

Si les chats miaulent et font autant de vocalises bizarres, c=E2=80=99es=
t pas pour  =

les chiens.

=E2=80=9CI am fluent in ASCII=E2=80=9D [Warren 2010]