[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