Anonymous Multimethods

In another post I tried to define anonymous multimethods: is this valid?

   $multi = multi (Foo $foo: Int $i) {...}
          | multi (Bar $bar) {...};

   $multi(Foo.new, 7);
   $multi(Bar.new);

Should I be using an injunction instead of a disjunction?

What would be the semantics of calling a junction of anonymous C<sub>s? 
Does it spawn multiple threads?


Dave.

• Anonymous Multimethods by Dave Whipp