monoid icon indicating copy to clipboard operation
monoid copied to clipboard

Ambiguity of things like <=

Open ghost opened this issue 10 years ago • 9 comments

It seems that Monoid has a ligature for <= and probably other ambiguous cases as well. Hasklig didn't want to add <= (see i-tu/Hasklig#21) because some languages (in certain contexts) use it to mean something else than less-than-or-equal. So, when I use Monoid and see the ligature for less-than-or-equal, in some places it's actually the wrong thing to display. Has this issue been considered before adding ligatures for cases like <=?

ghost avatar Sep 13 '15 18:09 ghost

I'd like to add that in Haskell, the <= and >= ligatures make Kleisli composition (>=>, <=<) look pretty funky.

Thimoteus avatar Sep 26 '15 16:09 Thimoteus

May be the right approach is to add ligatures for ">=>" and "<=<" that will undo the "<=" and ">=" ligatures?

luben avatar Sep 27 '15 14:09 luben

@tuncer is has been considered but basically I don't code in any language where <= doesn't mean "less than or equal to" so that's why it's there. Not sure what to recommend other than using non ligature version for this. @luben that should be easily doable - thanks for the suggestion.

larsenwork avatar Dec 10 '15 20:12 larsenwork

Closed? Neither >=> nor <=< work for me.

texastoland avatar Feb 22 '16 03:02 texastoland

not closed, no

larsenwork avatar Feb 22 '16 08:02 larsenwork

The only other plaint for my Haskell (or F#) is <<< \ >>>. Such a lovely font 🙏

texastoland avatar Feb 22 '16 13:02 texastoland

@AppShipIt ¸ I use >>> and <<< operators in Scala, what is the problem you see with them?

luben avatar Feb 22 '16 17:02 luben

I suppose it's not a bug. As of December there's just no ligature defined (as opposed to << / >>)? I mentioned it because in Haskell the operators are related.

texastoland avatar Feb 22 '16 17:02 texastoland

This doesn't seem to be fixable without "advanced" OpenType features or generating language-specific variants of the typeface. Therefore, I think the ticket can be closed.

ghost avatar May 31 '18 11:05 ghost