[Haskell-cafe] 2-level type analysis of introducing naming into
jgbailey at gmail.com
Mon Mar 17 11:52:08 EDT 2008
2008/3/15 Greg Meredith <lgreg.meredith at biosimilarity.com>:
> The following Haskell code gives a 2-level type analysis of a
> functorial approach to introducing naming and name management into a
> given (recursive) data type. The analysis is performed by means of an
What's the upshot of this? That is, what does this analysis give you?
I mostly follow the argument but I don't understand the benefits. I
feel like I'm missing something.
More information about the Haskell-Cafe