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

Brandon Allbery allbery.b at gmail.com
Sat Jul 15 12:36:54 UTC 2017

On Sat, Jul 15, 2017 at 4:57 AM, Bardur Arantsson <spam at scientician.net>

> Maybe, but it seems a bit fragile to me...
> What about -*? At least there's no ambiguity there.

As previously stated: "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."

brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170715/3de96950/attachment.html>

More information about the ghc-devs mailing list