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

        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,

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!

Attachment: pgpTTdiOCpJQI.pgp
Description: PGP signature

Reply via email to