[ruby-talk:00368] Re: type-checking

From: gotoken@... (GOTO Kentaro)
Date: 1999-06-01 17:05:28 UTC
List: ruby-talk #368
In message "[ruby-talk:00367] Re: type-checking"
    on 99/06/01, "Michael Neumann" <neumann@s-direktnet.de> writes:

>Not only must.rb but also extmod.rb in racc-0.8.11 which extends the class
>Module for "abstract", "property" and "delegate_method".

Sorry, I had read whole of them. Now I read and think those are nice, 
indeed, once I wrote similar code :) Of course, just Racc is useful.

But for a local variable, such technic cannot be apply because the
scope of a function is different from a local variable. On the other
hand, the current specification on local variable is agreeable at
least for me because it provides clean scope (except for blocks). And
substitute-protection is done on execution whareas we generally expect
to be done statically.  So, I consider Racc's way of type-checking is
not enough for practical use.

-- gotoken

In This Thread