On Wed, Oct 02, 2002 at 12:01:29PM +0900, William Djaja Tjokroaminata wrote:
> Hi Alan,
> 
> All your idea below seems good, but has anything like that been done
> before, in some other languages, perhaps?

There's a very interesting working example for a language closely related to
Ruby: Psyco, the Python Specializing Compiler. Only on x86, but AFAIK
fully operational and *fast*.

But it'd probably make more sense to wait for Rite before attempting
anything like that.

> Let me also try to understand further your idea.  Basically, are you
> saying that the type of the object referred to by a variable seldom
> changes?  In this case I agree.  So instead of using explicit typing on
> the variable itself, let the computer assigns the type to the variable
> based on the runtime type of the object referred to by the variable.  Am I
> correct?
> 
> As I got the impression that Dylan has both static and dynamic typing, I
> will also scan the language.
> 
> Regards,
> 
> Bill

-- 
 _           _                             
| |__   __ _| |_ ___ _ __ ___   __ _ _ __  
| '_ \ / _` | __/ __| '_ ` _ \ / _` | '_ \ 
| |_) | (_| | |_\__ \ | | | | | (_| | | | |
|_.__/ \__,_|\__|___/_| |_| |_|\__,_|_| |_|
	Running Debian GNU/Linux Sid (unstable)
batsman dot geo at yahoo dot com
  
Turn right here. No! NO! The OTHER right!