Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!gatech!udel!ee.udel.edu
From: new@ee.udel.edu (Darren New)
Newsgroups: comp.object
Subject: Re: A Hard Problem for Static Type Systems
Message-ID: <51651@nigel.ee.udel.edu>
Date: 23 Apr 91 18:57:40 GMT
References: <1991Apr20.010347.28984@leland.Stanford.EDU> <3378@charon.cwi.nl>
Sender: usenet@ee.udel.edu
Organization: University of Delaware
Lines: 13
Nntp-Posting-Host: estelle.ee.udel.edu

In article <3378@charon.cwi.nl> guido@cwi.nl (Guido van Rossum) writes:
>This can be done in ABC, a statically typed interpreted language
>developed at CWI [1].  

From your example, it looks like ABC is dynamically typed (altho strongly
typed) to me.  Why do you say it is statically typed?  What are the types
of "x" and "y" in your declaration of "min"?         -- 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 +=+