Re:Dev Fonts
by pvorb on Saturday November 21, 2020 @03:02AM
(#25168432)
Okay, thanks. And why would it be faster? Optimizing !! in the JS engine seems trivial to me.
[ Parent
| on HN ]
Re:Dev Fonts
by franga2000 on Saturday November 21, 2020 @03:21AM
(#25168479)
I suppose it would be easy and might already be in some engines, but it's still discouraged because you can't rely on that optimisation (there are many engines), it's semantically incorrect, and most importantly much less readable - especially for someone not tok familiar with the JS type system.