From: Robert Klemme <bob.news@...>
Date: 2005-01-27T17:50:55+09:00
Subject: Re: Type Inference


"Curt Sampson" <cjs@cynic.net> schrieb im Newsbeitrag
news:Pine.NEB.4.61.0501271018220.2459@angelic-vtfw.cvpn.cynic.net...
> 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.

I opt against this: not every good or useful language feature must be
present in Ruby.

Regards

    robert