Comment Comment by wz1000 Linear types support is coming along nicely, there is a fork of GHC with a prototype implementation.https://github.com/tweag/ghc/tree/linear-typesHowever, to allow the compiler to optimise pure operations to impure ones, I don't think linear types are sufficient. You need something like uniqueness types. parent wz1000 8 years ago
https://github.com/tweag/ghc/tree/linear-types
However, to allow the compiler to optimise pure operations to impure ones, I don't think linear types are sufficient. You need something like uniqueness types.