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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a2124d80f1ddc0d4,start
X-Google-Attributes: gid103376,public
X-Google-Thread: f79bb,a2124d80f1ddc0d4,start
X-Google-Attributes: gidf79bb,public
X-Google-ArrivalTime: 1995-03-23 07:09:50 PST
Path: 
 nntp.gmd.de!stern.fokus.gmd.de!ceres.fokus.gmd.de!zib-berlin.de!news.mathworks.com!udel!gatech!newsfeed.pitt.edu!uunet!in1.uu.net!newsflash.concordia.ca!news.mcgill.ca!christie.Meakins.McGill.CA!whitney
From: whitney@christie.Meakins.McGill.CA (Whitney de Vries)
Newsgroups: comp.lang.ada,comp.lang.sather
Subject: Re: Current state of the language
Followup-To: comp.lang.ada,comp.lang.sather
Date: 23 Mar 1995 15:09:50 GMT
Organization: McGill University Computing Centre
Message-ID: <3ks2vu$2eo@sifon.cc.mcgill.ca>
References: <3j5p3p$nc1@netnews.upenn.edu>
NNTP-Posting-Host: christie.meakins.mcgill.ca
X-Newsreader: TIN [version 1.2 PL1]
Xref: nntp.gmd.de comp.lang.ada:20027 comp.lang.sather:1694
Date: 1995-03-23T15:09:50+00:00
List-Id: <comp.lang.ada>

Distribution: world

Robb Nebbe (nebbe@lglsun.epfl.ch) wrote:

: Another point seems to be the confusion between
: modules and types in these same languages.

What is the difference between modules and types ? The need
for type seems to disappear when one has module variables 
as in K2 ( a minimal Oberon-like language ). Or conversely
the need for modules disappears when one restricts a type
to a single instance ( as in Emerald ).


-- Whitney