Which stable GHC release is expected to have support for linear types?
wolfgang-it at jeltsch.info
Sat Jul 15 21:29:40 UTC 2017
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,
More information about the ghc-devs