Stefan Holdermans wrote:
Al,
Has there been any work on extending Haskell's type system with
structural subtyping?
Koji Kagawaga. Polymorphic variants in Haskell. In Andres Loeh,
editor, Proceedings of the 2006 ACM SIGPLAN Workshop on Haskell,
Portland, Oregon, USA, September 17, 2006, pages 37--47. ACM Press,
2006. [1]
What is the canonical solution to the expression problem in Haskell?
Not canonical but Loeh and Hinze have proposed open data types:
Andres Loeh and Ralf Hinze. Open data types and open functions. In
Annalisa Bossi and Michael J. Maher, editors, Proceedings of the 8th
International ACM SIGPLAN Conference on Principles and Practice of
Declarative Programming, July 10--12, 2006, Venice, Italy, pages
133--144. ACM Press, 2006. [2]
Thanks for the pointers. I will definitely be reading these papers.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
