[Haskell-cafe] Is Template Haskell a suitable macro language?
carette at mcmaster.ca
Tue Apr 24 13:15:42 EDT 2007
Josef Svenningsson wrote:
> On 4/24/07, Jacques Carette <carette at mcmaster.ca> wrote:
>> In Ocaml, you can frequently use polymorphic variants to get the same
>> Which means that if you are willing to do enough type-class-hackery, it
>> should, in principle, be possible to do the same in Haskell. But it
>> sure isn't as convenient!
> You seem to imply that there is an encoding of polymorphic variants in
> Haskell using type classes. While I know that it's possible to achieve
> similar effects using type classes I haven't seen a direct encoding.
> If there is such an encoding I would be very interested to hear about
As usual, look for a solution from Oleg:
There was also a proposal by Koji Kagawa (published at Haskell '06)
More information about the Haskell-Cafe