30 Jun
2007
30 Jun
'07
1:50 p.m.
Dave Bayer wrote:
I've since done some experiments with Template Haskell, and I see that Arie Peterson has suggested how you could proceed. However, are you sure that you can't find a way to get this to work in vanilla Haskell without extensions? Or, for that matter, are you sure there isn't a way to get functional dependencies to work? (I felt pretty dumb for a little while before I found one for my problem, although as usual the issues are clear in hindsight.)
Yeah, a class/phantom type approach now seems more natural. At the time, I had just learned about Template Haskell, and this problem seemed like a nice nail :-). The code works for me, so I never bothered to rewrite it. Greetings, Arie