Sat Dec 22 18:27:23 EST 2012


If there is polymorphism over the domain (code, values), does it make
sense to also use polymorphism over operators like scalars, vectors?

I.o.w. where does operator algebra fit in?  Is this strictly a
different layer, or should it be integrated?

The base layer is going to be scalar math, but there are surely going
to be some occasions where an operation written for a scalar is going
to be lifted to a vector.  Will this just "inherit" the base
polymorphism (code, values) ?

Lots of things need to be clarified here.  The most important
"intuition error" in thinking about this stuff is level confusion (x
or meta-x?).  Somehow that doesn't always represent properly in my