Porting ideas from zwizwa.be/rai to #Haskell using typed, tagless approach. Doodling here zwizwa.be/darcs/meta/siso
Conversation
Replying to
Typed Tagless Interpretations and Typed Compilation: okmij.org/ftp/tagless-fi
Into building DSLs? Definitely check this out. #Haskell