C2HS example: To save other people frustration.
http://vis.renci.org/jeff/2009/07/10/c2hs-example-to-save-other-people-frustr...
Nice hands-on example of using c2hs - and I apologise for the poor documentation of the tool.
I research and teach programming languages, compilers, and their applications at the University of New South Wales (UNSW), Sydney. My main interest is in functional and parallel programming, and in particular, in Haskell.
My Twitter handle is TacticalGrace.
Check out my UNSW website.
http://vis.renci.org/jeff/2009/07/10/c2hs-example-to-save-other-people-frustr...
Nice hands-on example of using c2hs - and I apologise for the poor documentation of the tool.
http://www.cse.unsw.edu.au/~chak/haskell/term-conv/
Given a GADT representation of a typed higher-order term language using higher-order abstract syntax (HOAS), it is more difficult to convert to an alternative GADT representation using de Bruijn indices for bound variables than I at first expected. Here is a solution using explicit type representations (with Data.Typeable).
