comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: C++0x : no 'concepts'
Date: Wed, 09 Sep 2009 14:12:21 +0200
Date: 2009-09-09T14:12:22+02:00	[thread overview]
Message-ID: <4aa79ba6$0$32663$9b4e6d93@newsspool2.arcor-online.net> (raw)
In-Reply-To: <0157a9fd-a1b2-473d-bc85-f84911720520@o41g2000yqb.googlegroups.com>

Martin schrieb:
> Crickey! How glad am Ada has strong typing and a generic contract
> model!!
> 
> http://www.ddj.com/cpp/218600111
> 
> And that was going to make life 'simpler'!?!?!?

Just saw this, addressing the question:

"The current definition of concepts and requirements for use drowns the
programmer in complexities of a magnitude not warranted by the need to
express type-checked 9constrained) generic programming."

From: Simplifying the use of concepts, linked in the article.

-

Fantasizing, could we have, in Ada,

- recursive instantiations of pure generics?
- an optional Compiler package?



  reply	other threads:[~2009-09-09 12:12 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-09-09 11:44 C++0x : no 'concepts' Martin
2009-09-09 12:12 ` Georg Bauhaus [this message]
2009-09-09 12:15   ` Martin
2009-09-09 12:39   ` Dmitry A. Kazakov
2009-09-09 14:47     ` Georg Bauhaus
2009-09-09 15:42       ` Dmitry A. Kazakov
2009-09-09 14:49 ` Adam Beneschan
2009-09-09 19:26   ` sjw
2009-09-10  0:16 ` wwilson
2009-09-10  0:45   ` Keith Thompson
2009-09-10 23:36     ` Stephen Leake
2009-09-11  4:36       ` wwilson
2009-09-11 10:10 ` John McCabe
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox