28 Jun
2010
28 Jun
'10
11:02 p.m.
On Sun, Jun 27, 2010 at 4:44 PM, Alexey Khudyakov <alexey.skladnoy@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