[Haskell-cafe] Synthetic values?

Cristiano Paris frodo at theshire.org
Wed Feb 9 21:19:20 CET 2011

On Wed, Feb 9, 2011 at 20:14, Alexey Khudyakov
<alexey.skladnoy at gmail.com> wrote:
> ...
> My solution is based on heterogenous lists and require number of
> language extensions. I'd recomend to read paper "Strongly typed
> heterogeneous collections"[1] which describe this technique in detail

Curious: I read the paper just because I had an idea about how to
solve the problem but it led me to no solution even though it helped
me a lot in understanding some advanced type mechanism.

I'll read your solution later and come back to you with a comment.

Thank you in the meantime.


GPG Key: 4096R/C17E53C6 2010-02-22
Fingerprint = 4575 4FB5 DC8E 7641 D3D8  8EBE DF59 B4E9 C17E 53C6

More information about the Haskell-Cafe mailing list