[ghc-steering-committee] Please review #621: Linear Constraints

Adam Gundry adam at well-typed.com
Mon Dec 2 08:09:40 UTC 2024


Dear Committee,

Jack Hughes and Arnaud Spiwack propose to introduce Linear Constraints 
in order to reduce boilerplate when using linear types:

https://github.com/ghc-proposals/ghc-proposals/pull/621
https://github.com/tweag/ghc-proposals/blob/linear-constraints/proposals/0621-linear-constraints.rst

I'd like to nominate Jakob Brünker as the shepherd.

Please guide us to a conclusion as outlined in
https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam


-- 
Adam Gundry, Haskell Consultant
Well-Typed LLP, https://www.well-typed.com/

Registered in England & Wales, OC335890
27 Old Gloucester Street, London WC1N 3AX, England


More information about the ghc-steering-committee mailing list