Re: [Haskell-cafe] Implementing fixed-sized vectors (using datatype algebra?)

On Thu, 31 Jan 2008, Alfonso Acosta wrote:

The EDSL implementation (system design) I'm working on would really benefit from an implementation of fixed-sized vectors.

I thought this would be a generally desired ADT but it turned out I wasn't able to find an implementation.

I was thinking about using datatype algebra plus GADTs to implement a type-level parameter indicating the size of the vector.

http://www.haskell.org/haskellwiki/Linear_algebra http://www.haskell.org/haskellwiki/Libraries_and_tools/Mathematics#Linear_al... "Frederik Eaton's library for statically checked matrix manipulation in Haskell"