[Haskell-cafe] Fwd: Is it possible to represent such polymorphism?

[Steffen Schuldenzucker]

On 10/05/2011 11:30 PM, Alberto G. Corona wrote:
>
> if Hlist is sugarized as variable length tuples, then the initial code
> would compile without noticing the use of HList...

Seems to me like the advantage of such a sugaring would be that people 
could use a complex framework without actually having to think about it. 
On the other hand, the greatest disadvantage would be that people could 
use a complex framework without actually having to think about it.

>
>
> 2011/10/5 Felipe Almeida Lessa <felipe.lessa at gmail.com
> <mailto:felipe.lessa at gmail.com>>
>
>     On Wed, Oct 5, 2011 at 8:45 AM, Alberto G. Corona
>     <agocorona at gmail.com <mailto:agocorona at gmail.com>> wrote:
>      > If a newbie considers this as something natural, this is another
>     reason for
>      > syntactic sugaring of HList:
>      > http://www.haskell.org/pipermail/haskell-cafe/2011-April/090986.html
>
>     Exposing newbies to HList seems like a recipe for disaster for me =).
>
>     --
>     Felipe.
>
>
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe