Re: [Haskell-cafe] Construction of short vectors

On Mon, Jun 28, 2010 at 7:02 PM, Jake McArthur wrote:

On Sun, Jun 27, 2010 at 4:44 PM, Alexey Khudyakov 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.

I'm aware about this package but I didn't use it because it's completely undocumented. Also my code is a bit different. Vector is parametrized by two phantom type parameters. One is vector length another is type of vector. I want to be able to differentiate between different vectors (euclidean vector and polynomial coefficients have different types) There is also one rather wild idea. Since function for fixed vectors only wraps function from vector in theory it could be possible to generate most of code.