[Haskell-cafe] more thoughts on "Finally tagless"

Günther Schmidt gue.schmidt at web.de
Mon Mar 8 14:35:08 EST 2010

Hi all,

and Oleg et al in particular.

Yeah, subject "Finally Tagless" again, sorry, I'm just not done with it yet.

In Olegs haskell implementation he is using classes mainly to model the 
syntax and instances to use for evaluators / compilers to allow multiple 

I wonder if it'd be possible to do the same without classes using data 
types instead?

Something similar to what Luke Palmer has done here:



More information about the Haskell-Cafe mailing list