Path: 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: <3111@opal.cs.tu-berlin.de> Sender: usenet@ee.udel.edu Organization: University of Delaware Lines: 14 Nntp-Posting-Host: estelle.ee.udel.edu 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 +=+