[ghc-steering-committee] GHC2024 committee deliberation

Joachim Breitner mail at joachim-breitner.de
Mon Dec 4 13:26:08 UTC 2023


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 at joachim-breitner.de
  http://www.joachim-breitner.de/



More information about the ghc-steering-committee mailing list