Generic functions

[mike@olan.com (Michael N. Livshin)]

1.
I took a look at the Guile sources and found that Mikael
started implementing some sort of metaclass-based OO system,
and that he defined an "operator metaclass".

2.
It appears to me that the evaluator is not yet aware of
the fact that something other than closure can be apply'd.
Is it true or had I overlooked something?

3.
I was going to see how to add simple single-dispatch generics
to Guile.
<rant>
Records and single-dispatch generics are all the OO support
any reasonable design should ever need.  None of that hyped-up
inheritance stuff.
</rant>
Ahem, anyway, after looking at Mikael's OO stuff, I thought that
perhaps the right way to implement generics would be to define
a class of the "operator metaclass".

Is it possible at present?

If it is, than how? (I understand that not all Guile internals might
be ready for that presently, or that maybe Mikael just hoards some
easy-to-use Scheme-level GOOPS interface to himself and doesn't show us :)

Should I just shut up and wait till GOOPS surfs up?

thanks,
mike.