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,ab1d177a5a26577d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!194.25.134.126.MISMATCH!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 17 Feb 2011 18:46:53 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US;
 rv:1.9.2.13) Gecko/20101207 Thunderbird/3.1.7
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: What's wrong with C++?
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>
 <4d5d4bec$0$13901$882e7ee2@usenet-news.net>
In-Reply-To: <4d5d4bec$0$13901$882e7ee2@usenet-news.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <4d5d5f0d$0$6769$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 17 Feb 2011 18:46:53 CET
NNTP-Posting-Host: 3f7c32e9.newsspool3.arcor-online.net
X-Trace: 
 DXC=ka:lJlma5mGAa;:RKVJ>LEMcF=Q^Z^V3H4Fo<]lROoRA8kF<OcfhCOKfo:l0PFK\^Cnc\616M64>JLh>_cHTX3jMfQB@:5ddN9@
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:17345
Date: 2011-02-17T18:46:53+01:00
List-Id: <comp.lang.ada>

On 17.02.11 17:25, Hyman Rosen wrote:
> If I have a C++ map<string, int>
> and I look something up, I have to declare
>     map<string, int>::iterator i = my_map.find("hello");
> But that's silly - the compiler knows what type that
> function returns, and it has a better chance of getting
> it right than I do:
>     auto i = my_map.find("hello");

Can I have

   auto iterator i = ...;

too, assuming iterator denotes a common iterator type?
This will allow me to know what type i is without having
to do the inference myself!

Ada.Containers' Cursor doesn't have a centrally
declared interface, just like iterator; some have filed
complaints about this.  Why is it that, seemingly, everybody
in the compiler makers guild is so fond of omissions boiling
down to obfuscation or bragging about inferential skills?
Programming is neither selling small print nor omissions.
Or, wait!  Is it?