Voici une découverte très sympathique : il s'agit d'une police de caractères spécifiquement créée pour les développeurs (tous langages confondus), réalisant des ligatures sur les combinaisons de caractères fréquemment utilisées dans les langages.
Par exemple, en PHP, le code suivant :
$this->render('view.html.twig', [ 'someVar' => $someVar, 'someBool' => $n <= 10 ]);
s'affiche de la façon suivante avec cette police :
$this→render('view.html.twig', [ 'someVar' ⇒ someVar, 'someBool' ⇒ $n ≤ 10 ]);
Il s'agit cependant toujours bien des caractères originaux, ce n'est que de l'affichage. 🙂
Je vois deux gros avantages à ce genre de fonctionnalités :
- Premièrement, ça améliore globalement la lisibilité du morceau de code. C'est particulièrement flagrant avec le second élément du tableau associatif (
'someBool' => $n <= 10
), peu lisible et pourtant tout à fait correct dans l'exemple. - Deuxièmement, ça permet d'économiser un peu de place. Pas beaucoup, mais quand même.
Bref, à tester ! À noter que la page fournit une liste des éditeurs, IDE et terminaux qui prennent en charge cette police. Sur les IDE de JetBrains (IntelliJ IDEA, PhpStorm, WebStorm, etc.) ainsi que sur Android Studio, il faudra également activer l'option Enable font ligatures dans les Préférences / Editor / Font
.