abstract :
Une bonne partie du temps de développement consiste à écrire ou
modifier du code source. Cela contient de nombreuses micro-décisions,
comme la bonne manière de séparer ce code en lignes, comment placer la
ponctuation, etc.
Ces décisions à prendre se répercutent aussi sur la phase de revue de
code, où on se retrouve à parler de la manière d'écrire une liste
plutôt que de l'architecture du nouveau code.
De nombreuses équipes de développement se sont mises d'accord sur un
style à adopter permettant d'éliminer ces discussions. Mais cela reste
souvent aux humains de vérifier que les règles sont bien appliquées.
Il existe aujourd'hui des outils qui permettent de formatter
automatiquement du code source afin que cette vérification soit
entièrement automatique: par exemple prettier pour Javascript, gofmt
pour go, ou black pour Python.
OCamlformat est un outil permettant de formatter du code source
OCaml. Dans cette présentation, nous décrirons les choix qui ont été
faits lors de sa conception, quelques défis liés à la syntaxe
concrète, et des pistes quant à son évolution et son déploiement dans
l'écosystème Mirage.