[Haskell-cafe] Statically dimension-checked hmatrix

[Reiner Pope]

Hi,

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
hmatrix.

Cheers,
Reiner