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

[Mike Ledger]

How about: -+

It almost looks arrow like if you squint, and have a font that lines up the
horizontal lines.

Cheers,
Mike


On 14 Jul 2017 08:32, "Wolfgang Jeltsch" <wolfgang-it at jeltsch.info> wrote:

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,
Wolfgang
_______________________________________________
ghc-devs mailing list
ghc-devs at haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170714/4cf55b71/attachment.html>