TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

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

Print Reply
Subject:
From:
Scott Moody <[log in to unmask]>
Reply To:
Scott Moody <[log in to unmask]>
Date:
Tue, 18 Nov 1997 15:22:47 PST
Content-Type:
text/plain
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

ATOM RSS1 RSS2