Statically-sized vectors and matrices

[ocramz]

see e.g.

• HMatrix : https://hackage.haskell.org/package/hmatrix-0.18.1.0/docs/src/Internal-Static.html#Sized

• Dimensions :

  • https://hackage.haskell.org/package/dimensions-0.3.2.0/docs/src/Numeric-Dimensions-Idx.html#Idx
  • https://hackage.haskell.org/package/dimensions-0.3.2.0/docs/src/Numeric-TypeLits.html

• numhask-array : https://hackage.haskell.org/package/numhask-array-0.0.2/docs/src/NumHask-Array.html#Array

[ocramz]

This will be done in numhask-linear-algebra