[Haskell-cafe] Type inference for lambda function

David Feuer david.feuer at gmail.com
Mon Nov 1 04:54:47 UTC 2021

It would silently change behavior of some programs, yes. It could also make
them slower under some circumstances. But anyone relying on the
monomorphism restriction to choose types for their program should change
their ways regardless. Top level type signatures aren't that hard to write.

On Sun, Oct 31, 2021, 11:58 PM Andreas Källberg <anka.213 at gmail.com> wrote:

> > On 1 Nov 2021, at 02:16, Ben Franksen <ben.franksen at online.de> wrote:
> >
> > The MonomorphismRestriction should be eliminated from the next Haskell
> standard.
> Wait, what? Wouldn't that silently change behaviour of programs and make
> them slower?
> Andreas
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20211101/019cdc75/attachment.html>

More information about the Haskell-Cafe mailing list