[Haskell-cafe] Implementing fixed-sized vectors (using datatype
algebra?)
Henning Thielemann
lemming at henning-thielemann.de
Thu Jan 31 06:12:38 EST 2008
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_algebra
"Frederik Eaton's library for statically checked matrix manipulation in Haskell"
More information about the Haskell-Cafe
mailing list