[TYPES] A question about the literature on monomorphisation

Philip Wadler wadler at inf.ed.ac.uk
Mon Mar 30 10:36:58 EDT 2020


Thanks. I downloaded a copy of Mark's thesis from here:
    https://www.cs.ox.ac.uk/files/3432/PRG106.pdf

It refers to the "monomorphism restriction" a few times, but I cannot find
a reference to "monomorphisation". Can you say which sections you had in
mind?

If you have an example of monomorphisation for the Morgan Stanley PL you
mention that is similar to the example in my original question, I would
love to see it. Is your PL described publicly anywhere?

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/



On Thu, 26 Mar 2020 at 18:22, Kalani Thielen <kthielen at gmail.com> wrote:

> Mark Jones’s dissertation on qualified types has a useful section on
> monomorphisation near the end.  In that context it was to eliminate type
> constraints (e.g. type classes) by rewriting, so resolving overloading and
> monomorphising at the same time.  Polymorphic definitions without
> qualifications and nested definitions can be handled the same way if you
> don’t mind generating hidden constraints/classes.  This is the route we
> took at Morgan Stanley for a PL we use internally.
>
> HTH
>
>
> On Mar 26, 2020, at 2:10 PM, Philip Wadler <wadler at inf.ed.ac.uk> wrote:
>
> The bookkeeping required to formalise monomorphisation of instances
> and methods is not too difficult, but not trivial---it took us several
> tries to formalise it for a different language.
>
> The question is, where has this been described in the literature?
> Below is a list of the references we have found on monomorphisation,
> but none of them seems to cover the specific problem of
> monomorphisation of generic methods within generic interfaces, as
> described above, even though that combination occurs in several
> languages.  Have we missed any relevant literature?
>
>
>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-list/attachments/20200330/f6c06a38/attachment.ksh>


More information about the Types-list mailing list