3 ms·
According to the proposal, affine types and linear types "are not equi-expressive": https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-li
by danidiaz 6y ago
According to the proposal, affine types and linear types "are not equi-expressive": https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-linear-types.rst#remarks-on-the-relation-between-affine-and-linear-types https://github.com/ghc-proposals/ghc-proposals/blob/master/p...
- carterschonwald 6y agoYup! There’s also quite a design space still to be explored for these ideas. Even / especially for languages like Haskell.