[ghc-steering-committee] GHC2024 committee deliberation

[Arnaud Spiwack]

Joachim: you didn't opine on default type signatures.

By the way, is it you kicking off the deliberation?

On Tue, 21 Nov 2023 at 22:11, Joachim Breitner <mail at joachim-breitner.de>
wrote:

> Hi,
>
> Am Dienstag, dem 21.11.2023 um 21:06 +0000 schrieb Simon Peyton Jones:
> >
> > I agree.  But I have been increasingly realising that really the
> > extension should be called PolyLocalBinds, and MonoLocalBinds should
> > be a synonym for NoPolyLocalBinds.
> >
> > Reason: extensions generally allow more programs, not fewer.
> > PolyLocalBinds does that -- at the expense of less predictable type
> > inference.  To get predictable type inference with GADTs we switch
> > PolyLocalBinds off.
> >
> > You may think this is just moving the deck chairs around, but I think
> > this renaming is a more consistent story.
>
>
> I am a big fan of nicely arranged seating on deck. So if we think it’s
> useful, I think we can add this to GHC2024 as NoPolyLocalBinds,
> retrofit PolyLocalBinds into the previous editions, and make the
> (No)MonoLocalBinds flags just aliases. I can add this as a rider to the
> GHC2024 vote.
>
> Cheers,
> Joachim
>
>
> --
> Joachim Breitner
>   mail at joachim-breitner.de
>   http://www.joachim-breitner.de/
>
> _______________________________________________
> ghc-steering-committee mailing list
> ghc-steering-committee at haskell.org
> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee
>


-- 
Arnaud Spiwack
Director, Research at https://moduscreate.com and https://tweag.io.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20231122/c0ebcf53/attachment-0001.html>