From: Curt Sampson <cjs@...>
Date: 2005-01-27T10:19:39+09:00
Subject: Type Inference

On Thu, 27 Jan 2005, Mathieu Bouchard wrote:

>> Of course, creating something like this is much harder in a language
>> like Ruby where objects are ever-changing and ever-malliable. But even
>> for Ruby it should be possible to do it at least to some extent, falling
>> back to exceptions at runtime if you're doing something tricky (such as
>> adding and removing singleton methods on an object on the fly).
>
> So you say that this is all "in theory"?

No. It has been done in practice, just not for Ruby.

But I would propose actually changing the language to better support
this sort of thing.

cjs
-- 
Curt Sampson  <cjs@cynic.net>   +81 90 7737 2974   http://www.NetBSD.org
      Make up enjoying your city life...produced by BIC CAMERA