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

[Cristiano Paris]

On Tue, Aug 25, 2009 at 7:15 PM, Ryan Ingram<ryani.spam at gmail.com> wrote:
> On Tue, Aug 25, 2009 at 6:07 AM, Cristiano Paris<frodo at theshire.org> wrote:
>> On Tue, Aug 25, 2009 at 12:07 AM, Ryan Ingram<ryani.spam at gmail.com> wrote:
>>>> {-# LANGUAGE GADTs, RankNTypes, TypeFamilies, ScopedTypeVariables, FlexibleContexts #-}
>>>> {-# LANGUAGE FlexibleInstances #-}
>
>> Disturbing... I must admin it: I'll never be a Haskell Guru (tm).
>
> That's funny, I consider GADTs, RankNTypes, and ScopedTypeVariables to
> be the starting point for real code.  They just go at the top of the
> file without thinking at this point.  (Well, sometimes I leave GADTs
> out)

It was not the pragmas, it was the type machinery that bit of scared me :)

Cristiano