are there any papers/webpages/implementations/etc. of using multiparameter classes in a generic framework, with or without dependencies? thanks! - hal -- Hal Daume III "Computer science is no more about computers | hdaume@isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume
Hal Daume III wrote:
are there any papers/webpages/implementations/etc. of using multiparameter classes in a generic framework, with or without dependencies?
Maybe this is something for you. It uses 7 parameters and many functional dependencies. But it is a kind of trivial :-) And yes, it is about a generic framework, that is, a framework for generic refactoring. http://www.cwi.nl/~ralf/tgr/ The multi-parameter class is used to encode a form of signature morphism, namely the interface for language abstractions I deal with in the refactoring framework. Ralf
thanks!
- hal
-- Hal Daume III
"Computer science is no more about computers | hdaume@isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
-- Dr.-Ing. Ralf Laemmel CWI & VU, Amsterdam, The Netherlands http://www.cwi.nl/~ralf/ http://www.cs.vu.nl/~ralf/
participants (2)
-
Hal Daume III -
Ralf Laemmel