[Haskell-cafe] DSL implementation

[Dominic Steinitz]

You have looked at the latest HMatrix with its static guarantees:
Numeric.LinearAlgebra.Static? I think it is brilliant. It actually
caught a bug in my mathematical derivation. I had written out the
equations in LaTeX and then coded them up and couldn't understand why
I was getting a type error until I realised it was my derivation that
was wrong. Have a look here at its use:
http://idontgetoutmuch.wordpress.com/2014/09/09/fun-with-extended-kalman-filters-4/.