Re: Monomorphism restriction

[haskell-request@cs.glasgow.ac.uk]

Date: 24 May 91 16:34
From: haskell-request@cs.glasgow.ac.uk
Sender: Philip Wadler <wadler@cs.glasgow.ac.uk>
To: haskell@cs.yale.edu, jhf@c3serve.c3.lanl.gov
Cc: brian@c3serve.c3.lanl.gov, wadler@cs.glasgow.ac.uk
Subject: Re: Monomorphism restriction

Original-Via: uk.ac.nsf; Fri, 24 May 91 16:27:29 BST
X-Comment1: #############################################################
X-Comment2: # uk.ac.glasgow.cs has changed to uk.ac.glasgow.dcs #
X-Comment3: # If this address does not work please ask your mail #
X-Comment4: # administrator to update your NRS & mailer tables. #
X-Comment5: #############################################################
Original-Sender: wadler%uk.ac.glasgow.cs%uk.ac.glasgow.dcs%edu.yale.cs@yale.edu

Let me remind everyone that my proposal for restricted overloading,
among its other advantages, eliminates the need for the monomorphism
restriction.  To repeat:  comments solicited!  Joe and Paul kindly
promised some, but I'm still waiting ...

Restricted overloading is a Haskell 2 idea.  For Haskell 1.01,
Joe and Brian's proposal (2) looks reasonable.

Cheers,  -- P