Beefy Boxes and Bandwidth Generously Provided by pair Networks
P is for Practical
 
PerlMonks  

Re^2: The value of declarations

by TimToady (Parson)
on Apr 07, 2009 at 16:45 UTC ( #756075=note: print w/ replies, xml ) Need Help??


in reply to Re: The value of declarations
in thread The value of declarations

The one place where the design of Perl 6 doesn't quite jibe with this meditation is that, while Perl 6 can do compile-time checking of named arguments on subroutines, it refuses to do so for method calls. (It does this by supplying a default slurpy %_ parameter to methods.) The reasoning for this is that base methods should be allowed to ignore named parameters that are intended only for derived methods, and vice versa. Perhaps there is some way to check named arguments against all the candidates at run time, but it seems as though this could get expensive, and we're at least trying to maintain the hope that Perl 6 could be very fast in theory, even if 6.0.0 doesn't actually achieve that. (And we don't expect it to, since we're optimizing for correct over fast for now.) Anyway, we're still open to ideas in this area, maybe an optional check that only runs first time when dispatch order is established (or reestablished).


Comment on Re^2: The value of declarations
Download Code
Re^3: The value of declarations
by moritz (Cardinal) on Apr 07, 2009 at 17:38 UTC
    I wonder, can you do any reliable compile time checks on methods at all? I think this is valid:
    my $x = eval 'class A { method foo($bar, $baz} }; A.new'; $x.foo();

    Any compile time check would complain about a missing method.

      Some checks could be done if you had a way to tell the compiler you weren't going to do something like this.

      __PACKAGE__->no_monkey_business; # no new methods/method signatures c +an happen now. # or perhaps use static_methods qw( MyClass ); #compile this class with only expli +citly declared methods allowed.

      Where the declaration says that only the methods that exist for the class at that time, or perhaps those that have been explicitly declared are available.

      Even better if you could turn it off from outside the class file, so you could do some monkey patching if needed:

      # in main: no static_methods MyClass; # uses MyClass with static_methods turned +off.


      TGI says moo

Log In?
Username:
Password:

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://756075]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others exploiting the Monastery: (18)
As of 2014-08-22 16:56 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    The best computer themed movie is:











    Results (161 votes), past polls