[Haskell-cafe] How to convert a list to a vector encoding its length in its type?

Cristiano Paris frodo at theshire.org
Tue Aug 25 09:07:32 EDT 2009


On Tue, Aug 25, 2009 at 12:07 AM, Ryan Ingram<ryani.spam at gmail.com> wrote:
> unsafeCoerce is ugly and I wouldn't count on that working properly.
>
> Here's a real solution:
>
>
>> {-# LANGUAGE GADTs, RankNTypes, TypeFamilies, ScopedTypeVariables, FlexibleContexts #-}
>> {-# LANGUAGE FlexibleInstances #-}
> ...

Disturbing... I must admin it: I'll never be a Haskell Guru (tm).

Cristiano


More information about the Haskell-Cafe mailing list