[Haskell-cafe] Why the Prelude must die

[Dan Piponi]

On 3/25/07, Andrzej Jaworski <himself at poczta.nom.pl> wrote:
> Why not Clifford algebra: to simplify mathematical physics, mechanics,
> computer vision, improve neural networks etc.?

If anyone wants a starting point, here's some Clifford algebra stuff I
had fun implementing in Haskell:

http://sigfpe.blogspot.com/2006/08/geometric-algebra-for-free_30.html
http://sigfpe.blogspot.com/2006/09/more-low-cost-geometric-algebra.html

The code has the potential for being made quite efficient - ie. much
faster than the naive multiplication of elements in a Clifford
algebra.

But Clifford algebras really need dependent types...
--
Dan