This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: wish: generation of type annotation for C++11 code.

From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
To: Jonathan Wakely <jwakely dot gcc at gmail dot com>
Cc: Theodore Papadopoulo <Theodore dot Papadopoulo at inria dot fr>, Joe Buck <Joe dot Buck at synopsys dot com>, Basile Starynkevitch <basile at starynkevitch dot net>, "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>, "dodji at seketeli dot org" <dodji at seketeli dot org>
Date: Sat, 12 Nov 2011 09:01:27 -0600
Subject: Re: wish: generation of type annotation for C++11 code.
References: <20111110115800.44d900c51121aa3dcfd4f2b7@starynkevitch.net> <CAH6eHdTOyVu9q+J1RyZdNQ59tXyMnxXfz+BKSqZ2fMRYusaceQ@mail.gmail.com> <20111110170807.c06eac410e5e20082cf613b1@starynkevitch.net> <CAH6eHdTKaMPMN430EfXK5WbZ2KnNY600fK+5i5XVuN3Q5kW3rQ@mail.gmail.com> <CAAiZkiAYtHAe5xQdFmr=Q6R=H=9Z8iVVY8ehPN+JDUMY13fxEw@mail.gmail.com> <20111111075913.GA2139@synopsys.com> <4EBE34C7.4010808@inria.fr> <CAH6eHdRZ9DqjDfWhfnPtNL-1G9kWydLt8d0N3S1WuB64FHx9AQ@mail.gmail.com>

On Sat, Nov 12, 2011 at 8:52 AM, Jonathan Wakely <jwakely.gcc@gmail.com> wrote:

> Actually in our case (as you know) we have SCARY iterators, so
> multimap::iterator is a typedef, and the actual type is
> std::_Rb_tree_iterator<std::pair<const Foo, Bar>> which is even less
> useful to know!

Exactly.  One of the key reasons why we added "auto" to C++11
was NOT to mimic Hindley-Milner systems.  It was to abstract over
this type of noise.  People should not use "auto" just because they can,
or because it vaguely looks like something from a previously known
programming language, or because it is the new kid on the block.

References:
- wish: generation of type annotation for C++11 code.
  - From: Basile Starynkevitch
- Re: wish: generation of type annotation for C++11 code.
  - From: Jonathan Wakely
- Re: wish: generation of type annotation for C++11 code.
  - From: Basile Starynkevitch
- Re: wish: generation of type annotation for C++11 code.
  - From: Jonathan Wakely
- Re: wish: generation of type annotation for C++11 code.
  - From: Gabriel Dos Reis
- Re: wish: generation of type annotation for C++11 code.
  - From: Joe Buck
- Re: wish: generation of type annotation for C++11 code.
  - From: Theodore Papadopoulo
- Re: wish: generation of type annotation for C++11 code.
  - From: Jonathan Wakely

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]