IRILL - Research and Innovation on Free Software La prochaine séance du [Séminaire IRILL] est le jeudi 24 septembre 2020 à 14h sur le campus Jussieu (15-16 101)
Orateur : Etienne Millon (Tarides)
Titre : OCamlformat, un outil de formattage de code pour OCaml
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.