[Haskell-cafe] Excercise on tagless final interpreters

2013-03-21 Thread matteo vezzola
I'm playing with tagless final interpreters reading [1], using a very simple language: class Ints repr where int :: Integer - repr Integer (.+.) :: repr Integer - repr Integer - repr Integer (.*.) :: repr Integer - repr Integer - repr Integer (.-.) :: repr Integer - repr

Re: [Haskell-cafe] Excercise on tagless final interpreters

2013-03-21 Thread Jacques Carette
On 13-03-21 06:32 AM, matteo vezzola wrote: I'm playing with tagless final interpreters reading [1], using a very simple language: class Ints repr where int :: Integer - repr Integer (.+.) :: repr Integer - repr Integer - repr Integer (.*.) :: repr Integer - repr Integer - repr

Re: [Haskell-cafe] Excercise on tagless final interpreters

2013-03-21 Thread Brent Yorgey
On Thu, Mar 21, 2013 at 11:32:21AM +0100, matteo vezzola wrote: I'm playing with tagless final interpreters reading [1], using a very simple language: class Ints repr where int :: Integer - repr Integer (.+.) :: repr Integer - repr Integer - repr Integer (.*.) :: repr