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" _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
