Never mind + and *, how should polymorphism work in general? Polymorphism means "several functions with the same name, dispatching on type" which implies some kind of objects.
Arc already supports a Javascript-like OO-system (probably every language with first-class functions does), maybe we should experiment with that? See if we can get Prototype running on Arc?
> Polymorphism means "several functions with the same name, dispatching on type" which implies some kind of objects.
I'm assuming that by "some kind of objects", you mean a user-extensible type system.
You can have multiple dispatch on function arguments (by type or even by instance) without providing user-extensible types, so it's not really "imply". Just sayin'...
