On Mon, 2009-10-05 at 22:06 -0400, Chung-chieh Shan wrote:
Robert Atkey bob.at...@ed.ac.uk wrote in article
1254778973.3675.42.ca...@bismuth in gmane.comp.lang.haskell.cafe:
To implement the translation of embedded language types to Haskell types
in Haskell we use type families.
This
Robert Atkey bob.at...@ed.ac.uk wrote in article
1254778973.3675.42.ca...@bismuth in gmane.comp.lang.haskell.cafe:
To implement the translation of embedded language types to Haskell types
in Haskell we use type families.
This type-to-type translation is indeed the crux of the trickiness. By
ccshan:
class HOAS repr arrow int where
lam :: (repr a - repr b) - repr (arrow a b)
app :: repr (arrow a b) - repr a - repr b
fix :: (repr a - repr a) - repr a
let_ :: repr a - (repr a - repr b) - repr b
int :: int - repr int
add :: repr int - repr int - repr
Don Stewart d...@galois.com wrote in article
20091006031054.gb18...@whirlpool.galois.com in gmane.comp.lang.haskell.cafe:
ccshan:
(Section 5 of our (JFP) paper addresses both CBN and CBV.)
Do you have a link to the paper?
Sorry, here it is.
http://www.cs.rutgers.edu/~ccshan/tagless/jfp.pdf