Hypothetical reasoning in type classes
ken at digitas.harvard.edu
Sun Nov 23 22:29:16 EST 2003
On 2003-11-13T13:19:28-0000, Simon Peyton-Jones wrote:
> | From: haskell-cafe-bounces at haskell.org
> | Has anyone thought about adding hereditary Harrop formulas, in other
> | words hypothetical reasoning and universal quantification, to the
> | instance contexts in the Hsakell type class system?
> Yes, absolutely. See
> Section 7, and Trifanov's paper at the Haskell Workshop 2003
Thanks for the pointers! I am now thinking about encoding SML-style
module systems into Haskell using type classes with functional
dependencies. For this purpose, I seem to need hereditary Harrop
formulas in instance contexts. I wonder if such encodings have been
proposed previously in the literature? The closest I was able to find
is Kahl and Scheffczyk's paper at the 2001 Haskell Workshop.
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
Anytime I see something screech across a room and latch onto someones
neck, and the guy screams and tries to get it off, I have to laugh,
because what is that thing.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 189 bytes
Desc: Digital signature
Url : http://haskell.org/pipermail/haskell-cafe/attachments/20031123/9706b652/attachment.bin
More information about the Haskell-Cafe