With the matrix-static package (https://hackage.haskell.org/package/matrix-static), there exists a wrapper around matrix that keeps dimension information on the type level. There are multiple possible interactions between these two packages:
References to each other for users to choose the right package for the right circumstances.
Transferring some static information into matrix when there are clear performance improvements due to the dimension safety.
If you'd like any changes on matrix-static, please don't hesitate to open issues. This issue can be closed whenever this thread of discussion has concluded.
With the
matrix-static
package (https://hackage.haskell.org/package/matrix-static), there exists a wrapper aroundmatrix
that keeps dimension information on the type level. There are multiple possible interactions between these two packages:If you'd like any changes on
matrix-static
, please don't hesitate to open issues. This issue can be closed whenever this thread of discussion has concluded.