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

[Alberto G. Corona]

That´s  the very same advantage and disadvantage when using any EDSLs, By
the way

2011/10/6 Steffen Schuldenzucker <sschuldenzucker at uni-bonn.de>

> 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<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<http://www.haskell.org/mailman/listinfo/haskell-cafe>
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111006/129afa14/attachment.htm>