From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4a36b7df69d1af90
X-Google-Attributes: gid103376,public
From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: Announcing JGNAT public version 1.0p
Date: 2000/04/11
Message-ID: <Pine.BSF.4.21.0004111424021.5142-100000@shell5.ba.best.com>#1/1
X-Deja-AN: 609827115
References: <8c7fh4$25g$1@nnrp1.deja.com> <sefra8s2eop75@corp.supernews.com>
 <8c92nl$nqn$1@nnrp1.deja.com> <seg4ssgaeop7@corp.supernews.com>
 <8cak93$dtl$1@nnrp1.deja.com> <38EA152B.6D7A4481@earthlink.net>
 <1MNG4.630$n8.195854@news-east.usenetserver.com>
 <38ECB0CC.3B2941E2@earthlink.net> <8ckscp$nv7$1@nnrp1.deja.com>
 <8cs4ad$ft3$1@clnews.edf.fr> <8ct83j$ho3$1@nnrp1.deja.com>
 <8ct9eb$baq1@news.cis.okstate.edu>
 <Pine.BSF.4.21.0004110828450.5142-100000@shell5.ba.best.com>
 <38F3818B.D81CB2EC@averstar.com>
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: nntp1.ba.best.com 955488788 220 bpr@206.184.139.136
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Date: 2000-04-11T00:00:00+00:00
List-Id: <comp.lang.ada>

On Tue, 11 Apr 2000, Tucker Taft wrote:
> 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...

Well, obviously, you know better than I do :-)

I got this idea from these papers. The bracketed comment is from one of
the authors, as I clipped the refs from a web page.

Shen J., Cormack G.V., and Duggan D., Local package instances are not
equivalent to generic formal package parameters, ACM Ada Letters 12:6
(1992), 47-49. 

Shen J. and Cormack G.V., On generic formal package parameters in Ada 9X,
ACM Ada Letters 12:3 (1992), 110-116. [Part of this work was adopted by
the Ada 9X committee for incorporation into the programming language Ada] 

These papers mention the SML module system as an influence on their
proposals and their propsals as influential on Ada 95. Sorry for spreading 
misinformation!

-- Brian