Our great sponsors
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
The short answer is that the design is still not finalised as far as I'm concerned. I'm in the process of breaking up my over-large redesign proposal draft (https://github.com/adamgundry/ghc-proposals/blob/hasfield-redesign/proposals/0000-hasfield-redesign.rst) into more manageable pieces. This included two proposals shipped during ZuriHac (https://github.com/ghc-proposals/ghc-proposals/pull/515 and https://github.com/ghc-proposals/ghc-proposals/pull/516). Key next steps are a proposal to have separate HasField like classes for selection and update, and then adding type-changing update (for which I've been exploring adapting functional dependencies, see https://gitlab.haskell.org/ghc/ghc/-/issues/21779).
The short answer is that the design is still not finalised as far as I'm concerned. I'm in the process of breaking up my over-large redesign proposal draft (https://github.com/adamgundry/ghc-proposals/blob/hasfield-redesign/proposals/0000-hasfield-redesign.rst) into more manageable pieces. This included two proposals shipped during ZuriHac (https://github.com/ghc-proposals/ghc-proposals/pull/515 and https://github.com/ghc-proposals/ghc-proposals/pull/516). Key next steps are a proposal to have separate HasField like classes for selection and update, and then adding type-changing update (for which I've been exploring adapting functional dependencies, see https://gitlab.haskell.org/ghc/ghc/-/issues/21779).