[Haskell-cafe] Construction of short vectors

[Alexander Solla]

On Jun 27, 2010, at 12:29 PM, Alexey Khudyakov wrote:

> This is of course faster but what I really want is vectors with length
> parametrized by type. This way I can write generic code. Uniform
> representation is requirement for that.

You're going to need dependent types, or a similar construction, for  
that.

"Do We Need Dependent Types?"
http://www.brics.dk/RS/01/10/index.html