On Sun, Jun 27, 2010 at 4:44 PM, Alexey Khudyakov <alexey.sklad...@gmail.com> wrote: > Dependent types would be nice but there isn't anything usable out there. > Newtype wrapper parametrized by type level number works fine so far. > > If you interested sources are available here: > http://bitbucket.org/Shimuuar/nvector > http://bitbucket.org/Shimuuar/type-numbers
I haven't looked to see how complete your code is, but feel free to take over the vector-static [1] project if you wish to use some existing code. I haven't taken the time yet to say so on the Hackage page, but it's not currently being maintained. - Jake [1] http://hackage.haskell.org/package/vector-static _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe