On Fri, Jul 08, 2005 at 17:23:26 +0200, "TSa (Thomas Sandla)" wrote:
> http://www.cs.washington.edu/research/projects/cecil/www/Papers/predicate-classes.html Regardless of MMD, I think this is an interesting concept on it's own. classe Moosish does pred:where { ... # a where clause } { # class def } Does this mean that conflicting signatures assure that only one 'where' clause passes? the pred trait accepts a higher order type as it's arg, and just merges it with it's methods' types by hooking the metamodel's 'add_method' method, or whatever it's called (stevan?). I'm not sure I know how to oppertunistically 'staticize' this, though. Interesting paper, although admittedly I only skimmed it. -- () Yuval Kogman <[EMAIL PROTECTED]> 0xEBD27418 perl hacker & /\ kung foo master: /me dodges cabbages like macalypse log N: neeyah!
pgpTTdiOCpJQI.pgp
Description: PGP signature