[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
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 <[email protected]> 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?
