[Haskell-cafe] Construction of short vectors

Alexey Khudyakov alexey.skladnoy at gmail.com
Sun Jun 27 17:44:03 EDT 2010

On Mon, Jun 28, 2010 at 12:00 AM, Alexander Solla <ajs at 2piix.com> wrote:
> 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

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:

Thank you for the link. It seems that part of paper describes
applicative functors.

More information about the Haskell-Cafe mailing list