[Haskell-cafe] Statically dimension-checked hmatrix

Reiner Pope reiner.pope at gmail.com
Mon Nov 17 20:36:49 EST 2008


What is the situation regarding statically dimension-checked linear
algebra libraries? It seems that Frederik Eaton was working on one in
2006 (see the paper "Statically typed linear algebra in Haskell"), and
he produced the Vectro library from this, based on GSLHaskell.

Are there any more recent efforts into this, particularly using the
new TFs? If not, I might have a go at it, as a thin wrapper for


More information about the Haskell-Cafe mailing list