Am Donnerstag, 31. Januar 2008 12:02 schrieb Alfonso Acosta: > Hi, > > 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. > > I'm a total noob with regard to GADTs and type-level algebra trickery. > So my questions are: > > 1) Do you think it is feasible? Can you think about a better approach? > > 2) An implementation of type-level Naturals would really help. What > has already been done? > > Thanks in advance, > > Fons
Hello Fons, interestingly, it occured to me yesterday that the graphics part of Grapefruit would benefit from fixed sized vectors. I think we should implement some small Cabal package which just provides this and upload it to the HackageDB. Are you interested in cooperating with me on this? Best wishes, Wolfgang _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
