3 ms·
Haskell has also an ongoing implementation of linear types https://github.com/ghc-proposals/ghc-proposals/pull/111 https://github.com/ghc-proposals/ghc-proposal
by steve-chavez 9y ago
Haskell has also an ongoing implementation of linear types https://github.com/ghc-proposals/ghc-proposals/pull/111 https://github.com/ghc-proposals/ghc-proposals/pull/111.
Anyone know what are the major differences between these two implementations?
Will linear types work better for OCaml than for Haskell?