[Haskell-cafe] Preserving data type information

[Andrey Popp]

Hi, Stephen.

Thanks a lot — HList paper gave me a good overview of possible
soultions. For the first try I will stuck with Data.Dynamic.

On Sat, Dec 12, 2009 at 7:18 PM, Stephen Tetley
<stephen.tetley at gmail.com> wrote:
> Hi Andrey
>
> Dynamic types are a possibility, if you want to handle an 'open set' of types:
>
> http://www.haskell.org/ghc/docs/6.10.3/html/libraries/base/Data-Dynamic.html
> &
> http://people.cs.uu.nl/arthurb/dynamic.html
>
> Although I don't see your use case as needing heterogeneous lists,
> section 2 of the HList paper enumerates the design options available
> for 'open types' (the authors conclude against dynamics in this case).
>
> http://homepages.cwi.nl/~ralf/HList/
>
> Best wishes
>
> Stephen
>



-- 
С уважением, Андрей Попп.
+7 911 740 24 91