From: Tucker Taft <stt@averstar.com>
Subject: Re: Announcing JGNAT public version 1.0p
Date: 2000/04/11
Date: 2000-04-11T19:48:27+00:00 [thread overview]
Message-ID: <38F3818B.D81CB2EC@averstar.com> (raw)
In-Reply-To: Pine.BSF.4.21.0004110828450.5142-100000@shell5.ba.best.com
Brian Rogoff wrote:
> ...
> Seriously though, SML is a fine language to learn. Knowing proper ML style
> will help you write clean Ada code in the same way that knowing Ada helps
> you to write clean C code. If I'm not mistaken, the SML module system
> even had some impact on the design of Ada 95, in particular generic
> formal package parameters.
SML may be nice, but the designer of the Ada95 formal package parameter
facility (;-) had very little knowledge of SML at the time of its design.
I wonder where the idea that SML influenced Ada 95 came from...
(For what it is worth, the VHDL library system was the initial
spark toward developing the "child package" capability in Ada 95,
although the Ada95 capability is a more general mechanism.)
> ...
> -- Brian
--
-Tucker Taft stt@averstar.com http://www.averstar.com/~stt/
Technical Director, Distributed IT Solutions (www.averstar.com/tools)
AverStar (formerly Intermetrics, Inc.) Burlington, MA USA
next prev parent reply other threads:[~2000-04-11 0:00 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-03-28 0:00 Announcing JGNAT Professional version 1.0a Robert Dewar
2000-03-31 0:00 ` Announcing JGNAT public version 1.0p Robert Dewar
2000-04-01 0:00 ` John Merryweather Cooper
2000-04-02 0:00 ` Robert Dewar
2000-04-02 0:00 ` John Merryweather Cooper
2000-04-03 0:00 ` Robert Dewar
2000-04-02 0:00 ` John Merryweather Cooper
2000-04-03 0:00 ` Robert Dewar
2000-04-04 0:00 ` JGNAT help puh-leeze G
2000-04-04 0:00 ` Geoff Bull
2000-04-06 0:00 ` G
2000-04-06 0:00 ` Geoff Bull
2000-04-04 0:00 ` Announcing JGNAT public version 1.0p Charles Hixson
2000-04-05 0:00 ` David Botton
2000-04-06 0:00 ` Charles Hixson
2000-04-07 0:00 ` hugin777
2000-04-07 0:00 ` Robert Dewar
2000-04-07 0:00 ` Ted Dennison
2000-04-08 0:00 ` Geoff Bull
2000-04-08 0:00 ` Geoff Bull
2000-04-08 0:00 ` hugin777
2000-04-09 0:00 ` Optimizing flags Was: " Ken O. Burtch
2000-04-07 0:00 ` Pascal Obry
2000-04-08 0:00 ` Geoff Bull
2000-04-10 0:00 ` Pascal Obry
2000-04-10 0:00 ` hugin777
2000-04-10 0:00 ` David Starner
2000-04-11 0:00 ` Brian Rogoff
2000-04-11 0:00 ` Tucker Taft [this message]
2000-04-11 0:00 ` Brian Rogoff
2000-04-11 0:00 ` David Starner
2000-04-10 0:00 ` Al Christians
2000-04-11 0:00 ` Pascal Obry
2000-04-12 0:00 ` Pascal Obry
2000-04-07 0:00 ` Geoff Bull
2000-04-05 0:00 ` Geoff Bull
2000-04-03 0:00 ` Robert Dewar
2000-04-04 0:00 ` ada_95
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox