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

2011-10-06 Thread 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.le...@gmail.com
mailto:felipe.le...@gmail.com

On Wed, Oct 5, 2011 at 8:45 AM, Alberto G. Corona
agocor...@gmail.com mailto:agocor...@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@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe



___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


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

2011-10-06 Thread Alberto G. Corona
That´s  the very same advantage and disadvantage when using any EDSLs, By
the way

2011/10/6 Steffen Schuldenzucker sschuldenzuc...@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.le...@gmail.com
 mailto:felipe.le...@gmail.com**


On Wed, Oct 5, 2011 at 8:45 AM, Alberto G. Corona
agocor...@gmail.com mailto:agocor...@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.htmlhttp://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@haskell.org
 http://www.haskell.org/**mailman/listinfo/haskell-cafehttp://www.haskell.org/mailman/listinfo/haskell-cafe



___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


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

2011-10-05 Thread Alberto G. Corona
if Hlist is sugarized as variable length tuples, then the initial code would
compile without noticing the use of HList...


2011/10/5 Felipe Almeida Lessa felipe.le...@gmail.com

 On Wed, Oct 5, 2011 at 8:45 AM, Alberto G. Corona agocor...@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@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe