Re: [Haskell-cafe] Re: Difficulties with tagless - create primitives or compose them

2010-06-14 Thread Jacques Carette
Günther Schmidt wrote: I have recently found something new that might also prove to be useful for EDSLs. http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html Dan's blog post doesn't give any code or implementation but in a way it tackles the same problem, and since you

[Haskell-cafe] Re: Difficulties with tagless - create primitives or compose them

2010-06-13 Thread Günther Schmidt
Dear Jacques, I have recently found something new that might also prove to be useful for EDSLs. http://blog.sigfpe.com/2009/05/three-projections-of-doctor-futamura.html Dan's blog post doesn't give any code or implementation but in a way it tackles the same problem, and since you also