[Haskell-cafe] How to define an operation in terms of itself (but of different type)?

[David Menendez]

2009/1/24 Luke Palmer <lrpalmer at gmail.com>:
>
> And also, I wonder, what are you going and adding scalars to vectors for!?
> (I've heard of multiplying scalars by vectors -- that's in the definition of
> a vector space, but adding...?)

You can do that in geometric algebra. The result is a multivector.

But in that case, you'd probably be using a single multivector type.

-- 
Dave Menendez <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>