[Haskell-cafe] Construction of short vectors
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