TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Proportional Font
Show HTML Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
From: Scott Moody <[log in to unmask]>
Date: Tue, 18 Nov 1997 15:22:47 PST
Reply-To: Scott Moody <[log in to unmask]>
Parts/Attachments: text/plain (30 lines)
I was glancing through the latest OOPSLA proceedings, and there
is an interesting article on adding generics/templates to the Java Language
with a real implementation -- by Sun and Stanford researchers.

        "Adding Type Parameterization to the Java Language"

And they actually do site Ada all over the place, together with C++ and ML.
Too bad the references it to
        [US 80] US Dept of Defense. Ref manual for the Ada programming language
-- they just won't let that DoD reference be lost.. Versus say "ANSI/ISO/IEC...1995".

So JAVA (Just Another Version of Ada) is getting one step closer:-)

One statement on C++ was interesting:
        "C++ templates are compiled without statically checking the use of member functions,
         in part because of the complexity of determining in advance how a reference
        to a function might be eventually resolved. Instead, type checks are made
        later, at link time, when the actual type parameter is determined
        and a semantic instance is created".

The paper doesn't mention how much more powerful (and complex)
the Ada compilers are to be able to
statically check this.

Scott Moody
Team Ada