Which stable GHC release is expected to have support for linear types?

Joachim Breitner mail at joachim-breitner.de
Thu Jul 13 09:03:44 UTC 2017


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 -<> ?

Joachim Breitner
  mail at joachim-breitner.de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170713/a011fe05/attachment-0001.sig>

More information about the ghc-devs mailing list