GHC 2020 standard - Haskell

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

TheMatten

https://github.com/ghc-proposals/ghc-proposals/wiki/GHC2020

Proposed compiler and language changes for GHC and GHC/Haskell - ghc-proposals/ghc-proposals
TheMatten

Not having to write out these in .cabal by hand would be sooo nice

Georgi Lyubenov // googleson78

lists seems kind of arbitrary and contains some stuff that the community at large seems to not like too much/be unsure about

Georgi Lyubenov // googleson78

e.g. RecordWildCards ImplicitParams

Georgi Lyubenov // googleson78

and for me enabling Overloaded{Strings,Lists} by default is definitely not a great idea, very often I get type ambiguity errors after doing so (more so with Lists, because of Foldable)

Georgi Lyubenov // googleson78

you can still opt not to use e.g. ImplicitParams, but enabling it by default is like the compiler is saying to you "we encourage this"

Georgi Lyubenov // googleson78

don't know why this isn't a pull request like the other proposals so we can comment on it.. :thinking:

Torsten Schmits

Georgi Lyubenov // googleson78 said:

and for me enabling Overloaded{Strings,Lists} by default is definitely not a great idea, very often I get type ambiguity errors after doing so (more so with Lists, because of Foldable)

the list says they aren't going to be in it

Georgi Lyubenov // googleson78

well it says that Eisenberg is against including them, not that they will definitely not be in

my issue is that I (and whoever else wants to) can't write a comment under the linked list with what I just wrote here (and there is also no provided way to express an opinion in the linked list - the best I can do is read through the list and see a mailing list mentioned, and start guessing which mailing list that is)

Georgi Lyubenov // googleson78

well then again, if there was some such way I guess this GHC2020 thing would never actually be agreed upon :grinning_face_with_smiling_eyes:

Torsten Schmits

maybe it's going to be opened for discussion later