Re:Dev Fonts
by nicoburns on Friday November 20, 2020 @08:15AM
(#25160133)
In that case it works reasonably well, but how do you represent the difference between `=`, `==` and `===` in javascript. IMO =, == and === is much clearer and more visually distinct than ≔, = and ≡.
[ Parent
| on HN ]
Mainly a force of habit. But I agree that for equalities a split sign would be clearer for most people.
I won't be going around and trying to convince people to use or not use ligatures though. I feel that it is a very personal preference much like the choice of syntax colouring theme.
Re:Dev Fonts
by hydroxideOH- on Friday November 20, 2020 @08:59AM
(#25160475)
I never use == in any circumstance anyway, but telling the difference between the == and === ligatures are really not hard. The === one, at least with JetBrains Mono, is much larger.