[Haskell-cafe] generic programming tutorial?

Greg Meredith 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?

Best wishes,


L.G. Meredith
Managing Partner
Biosimilarity LLC
505 N 72nd St
Seattle, WA 98103

+1 206.650.3740

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20071017/1a45635e/attachment.htm

More information about the Haskell-Cafe mailing list