Re: 'Cyclone', a safer C--reinventing the wheel

["Mark Lundquist" <up.yerz@nospam.com>]

"Brian Rogoff" <bpr@bpr.best.vwh.net> wrote in message
news:Pine.BSF.4.10.10111271642360.93360-100000@bpr.best.vwh.net...
> On Tue, 27 Nov 2001, Mark Lundquist wrote
>
> > Actually, template "metaprogramming" doesn't really excite me
>
> I admit, I find it pretty neat, but that's not what I want when I long for
> automatic instantiation. Once you have a combination of type inference and
> overloading its too easy to get non-termination as a feature of type
> checking. If I really want template metaprogramming, better to just have
> Lisp style procedural macros.

agreed

>
> MD is a nice feature, and I like it in Lisp/Dylan, but I think its a bit
> much for a language like Ada.

Agree, and anyhow is there a case for MD that cannot be solved using the
redispatching idiom in Ada?

>
> I'm of the opinion that genericity is the part of Ada that could use some
> enhancement. Once Ada gets some Java-like interface capability in its OO
> part, that should be enough.

I dunno... I really like the multiple views idiom.  But I'd probably be
outvoted on that one :-)

-- mark