Re: [TYPES] Interaction between type classes and modules

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

Hi Philip,

That might be *Modular Type Classes* by Derek Dreyer, Robert Harper, and
Manuel M.T. Chakravarty.

https://people.mpi-sws.org/~dreyer/papers/mtc/main-short.pdf
https://people.mpi-sws.org/~dreyer/talks/popl07.ppt
https://people.mpi-sws.org/~dreyer/papers/mtc/main-long.pdf

Cheers,
Steve.

[Re-sending as apparently I wasn't subscribed to the list]

On Mon, 3 Dec 2018 at 23:39, Philip Wadler <[email protected]> wrote:

> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list
> ]
>
> I am trying to track down a paper I once read about type classes and
> modules. The key result I recall is that if an instance of a type class is
> declared in a module then, to preserve coherence, signatures exported by
> the module should not mention the type class. Can someone please point me
> to the paper? Cheers, -- P
>
> .   \ Philip Wadler, Professor of Theoretical Computer Science,
> .   /\ School of Informatics, University of Edinburgh
> .  /  \ and Senior Research Fellow, IOHK
> . http://homepages.inf.ed.ac.uk/wadler/
>
> Too brief? Here's why: http://www.emailcharter.org/
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
>