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

[Wolfgang Jeltsch]

Am Samstag, den 15.07.2017, 10:57 +0200 schrieb Bardur Arantsson:
> On 2017-07-14 21:59, Wolfgang Jeltsch wrote:
> > Am Freitag, den 14.07.2017, 06:42 +0200 schrieb Bardur Arantsson:
> > > On 2017-07-14 01:26, Mike Ledger wrote:
> > > > How about: -+
> > > > 
> > > > It almost looks arrow like if you squint, and have a font that
> > > > lines up the horizontal lines.
> > >
> > > This may play havoc with programming fonts with ligatures where it
> > > might be rendered as a single ± symbol.
> > > 
> > I would expect such fonts to translate “+-”, not “-+”, into “±”.
> > 
> Maybe, but it seems a bit fragile to me...

I would not care too much about such fonts. In my opinion, the natural
way is to generate ± from +-, not from -+. Since there is the option to
generate ± from +-, there is no need to additionally generate it
from -+. Font designers could just stop doing this if there are doing it
at all at the moment.

> What about -*? At least there's no ambiguity there.

The problem with -* is that the star is typically higher than the -, so
that -* looks a bit awkward.

I think, using -+ is a pretty good idea.

All the best,
Wolfgang