Which stable GHC release is expected to have support for linear types?
wolfgang-it at jeltsch.info
Thu Jul 13 22:31:50 UTC 2017
Am Donnerstag, den 13.07.2017, 11:03 +0200 schrieb Joachim Breitner:
> Am Mittwoch, den 12.07.2017, 23:47 +0300 schrieb Wolfgang Jeltsch:
> > Alternatives for “-o” I can think of are “~>”, “-:”, and “-*”, the
> > latter resembling the magic wand operators in the logic of bunched
> > implications and in separation logic, which are similar to the
> > lollipop in linear logic.
> how about -<> ?
Hmm, the “<>” part seems to be a bit heavy compared to the little “-”.
All the best,
More information about the ghc-devs