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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Haskell, anyone?
Date: Mon, 16 Nov 2015 14:59:50 +0100
Organization: A noiseless patient Spider
Message-ID: <n2cncc$139$1@dont-email.me>
References: <c6ac0d2f-52af-4aa6-ba6f-34f61e3c93e8@googlegroups.com>
 <14533506-4289-4148-b8c4-e970f5778b26@googlegroups.com>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 16 Nov 2015 13:57:32 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
	logging-data="1129"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18IdA50qz7Xt2t9AR6iXIYUfxi+LW4XqvY="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Thunderbird/38.3.0
In-Reply-To: <14533506-4289-4148-b8c4-e970f5778b26@googlegroups.com>
Cancel-Lock: sha1:N/LP7PzAhxOTUFjnjLKv5awoSGQ=
Xref: news.eternal-september.org comp.lang.ada:28401
Date: 2015-11-16T14:59:50+01:00
List-Id: <comp.lang.ada>

On 16.11.15 11:25, Hadrien Grasland wrote:
> Whenever someone passes the wrong parameter to a C++ template library, that person is inundated by a wall of compiler diagnostics, sometimes thousands of lines long, and full of library implementation details. The reason why this is the case is that because type inference is used througout the whole code hierarchy, compilers can only detect errors at the very bottom of it. The error then needs to bubble up the code and module hierarchy, accumulating an enormous amount of diagnostic noise along the way.

Even accessibility check failures of Ada programs using anonymous
pointer types cannot come close to that! ;-)