On this topic, I really like NamedFieldPuns, what do we think about it? I sometimes feel I'm the only person in the world using them (borrowing from Ocaml where they're pretty common). But, on the other hand, I really like them.

On Mon, 4 Dec 2023 at 14:26, Joachim Breitner <mail@joachim-breitner.de> wrote:

Hi,

Am Montag, dem 04.12.2023 um 14:24 +0100 schrieb Joachim Breitner:
> In the concrete case of RecordWildCards there are also strongly held
> believes against it (it violates the LSP). Maybe that’s why nobody
> nominated it.

or maybe not, it doesn't really need the type system, does it? But very
close in spirit – you cannot determine the binding structure from just
looking at a single module.

Cheers,
Joachim

--
Joachim Breitner
mail@joachim-breitner.de
http://www.joachim-breitner.de/

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee