3 ms·

With type level naturals recently added to GHC, statically checked arrays are already implementable in Haskell. * http://hackage.haskell.org/package/vector-sta

by dons 15y ago

With type level naturals recently added to GHC, statically checked arrays are already implementable in Haskell. * http://hackage.haskell.org/package/vector-static http://hackage.haskell.org/package/vector-static * http://hackage.haskell.org/package/hmatrix-static http://hackage.haskell.org/package/hmatrix-static A nice next step would be to optimize out additional runtime bounds checks.

radarsat1 15y ago
Very nice! I really look forward to using something like that.