Path: news.cs.au.dk!news.net.uni-c.dk!howland.erols.net!news3.bellglobal.com!news1.bellglobal.com!news.uunet.ca!not-for-mail
From: Karl Waclawek <kwaclaw@thestar.ca>
Newsgroups: comp.lang.beta
Subject: Re: Is Beta a statically typed language?
Date: Wed, 13 Jan 1999 14:02:30 -0500
Organization: The Toronto Star
Lines: 39
Message-ID: <369CEDC6.1A6561AE@thestar.ca>
References: <VA.000001c4.01626e6a@enterprise>
	 <77b7fc$l2o$1@xinwen.cs.au.dk> <VA.000001c9.0115e6e2@enterprise>
NNTP-Posting-Host: 192.206.151.130
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Mailer: Mozilla 4.5 [en] (Win95; I)
X-Accept-Language: en
Xref: news.cs.au.dk comp.lang.beta:11788



Jean-Louis Leroy wrote:

> (#
>    Person: (#  #);
>    people: @Set (# element:: Person #);
>    backdoor: ^Set
> do
>    &Person[]->people.insert;
>    people[]->backdoor[]; (* no warning *)
>    &integerObject[]->backdoor.insert (* trouble *)
> #)

I think the compiler is supposed to give a warning here, but it didn't
when I tried it. I even used the explicit --warn and --warnQua options.
 
> > We have discussed these issues in several papers
> 
> I have tried to find them in electronical form, without success so far. How can
> I obtain them?

Here are a few links I found:

http://www.daimi.aau.dk/~krab/resume.html#Publications
http://www.cs.williams.edu/~kim/README.html#VTSem
http://pauillac.inria.fr/~remy/fool/abstracts/5.html
http://cm.bell-labs.com/cm/cs/who/wadler/topics/gj.html#parvsvirt

They are pretty academic (for a self-taught programmer like me that's a hard read),
but they may be of more use too you.

Karl

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   Karl Waclawek
   KD Soft Inc.
 * Phone:  (905) 579-3443
 * E-Mail: waclawek@idirect.com