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

25 Aug 2009


      On Tue, Aug 25, 2009 at 12:07 AM, Ryan Ingram 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

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

Cristiano Paris