Re: [Haskell-cafe] Type inference for lambda function

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 wrote:

...

On 1 Nov 2021, at 02:16, Ben Franksen 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.