[Haskell-cafe] generic programming tutorial?
lgreg.meredith at biosimilarity.com
Wed Oct 17 13:51:02 EDT 2007
i feel like i'm chasing a rabbit down the rabbit hole, but here goes. i'm
currently redoing my implementation of an evaluator for a reflective process
calculus, using Haskell instead of OCaml, this time. i thought i'd give a
James Cheney's FreshLib a whirl to
- test out the state of the nominal machinery in Haskell
- see if the nominal stuff works, practically, with my reflective
account of nominal machinery
i've discovered that FreshLib makes essential use of a early version of
generic Haskell features. i need to bone up on generic Haskell, quickly.
i've got the papers. i need to see what's being released and supported in
the mainstream Haskell codebase. Is there documentation for this, or should
i grovel source?
505 N 72nd St
Seattle, WA 98103
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe