[Haskell-cafe] Re: Has anyone looked into adding subtyping to Haskell?

[Al Falloon]

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.