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
interpretations.
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:
http://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass/
Günther