Re: Optional static typing limits

Article View: comp.lang.misc

Article #3641

#3641

From: Darren New
Date: Tue, 23 Apr 1991 17:05

14 lines
1223 bytes

In article <3111@opal.cs.tu-berlin.de> wg@opal.cs.tu-berlin.de writes:
>The point now according to your question is that AMBER has a type
>"Dynamic". Every value can be made dynamic using the expression
>"dynamic e", where e is an expression. [...]

This sounds essentially like Hermes' "polymorph" type.  It
seems to do the job for everything I can think of for dynamic
typing except dynamic binding (in the OO sense).  -- Darren

-- 
--- Darren New --- Grad Student --- CIS --- Univ. of Delaware ---
----- Network Protocols, Graphics, Programming Languages, FDTs -----
     +=+=+ My time is very valuable, but unfortunately only to me +=+=+
+=+ Nails work better than screws, when both are driven with screwdrivers +=+

Technical Details

Message-ID: <51641@nigel.ee.udel.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!udel!ee.udel.edu

References: <LIBERTE.91Apr16164831@babbage.ncsa.uiuc.edu> <3111@opal.cs.tu-berlin.de>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!udel!ee.udel.edu
From: new@ee.udel.edu (Darren New)
Newsgroups: comp.lang.misc
Subject: Re: Optional static typing limits
Message-ID: <51641@nigel.ee.udel.edu>
Date: 23 Apr 91 17:05:37 GMT
References: <LIBERTE.91Apr16164831@babbage.ncsa.uiuc.edu> <3111@opal.cs.tu-berlin.de>
Sender: usenet@ee.udel.edu
Organization: University of Delaware
Lines: 14
Nntp-Posting-Host: estelle.ee.udel.edu

Reply to Parent Message