[Haskell-cafe] Construction of short vectors

Alexander Solla ajs at 2piix.com
Sun Jun 27 16:00:10 EDT 2010

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  

"Do We Need Dependent Types?"

More information about the Haskell-Cafe mailing list