La syntaxe moche de Sorbet : un mal nécessaire pour la vérification de types en Ruby ?
Sorbet, le vérificateur de types statiques Ruby de Stripe, a une syntaxe notoirement maladroite. Dans cette présentation, Jake explique les compromis derrière les choix de conception de Sorbet. Bien que la syntaxe ne soit pas jolie, la sémantique (ce que signifient les types) est dix fois plus importante. Sorbet n'a pas été créé pour forcer le typage statique, mais plutôt pour répondre aux besoins des ingénieurs de Stripe en matière d'amélioration de la productivité et de la maintenabilité du code. La présentation retrace l'histoire de Sorbet, explorant différentes approches de conception avant de se décider pour une extension DSL du Ruby existant. Des améliorations futures sont discutées, notamment des raffinements de la syntaxe actuelle et l'intégration avec la norme RBS de Ruby, visant une plus grande facilité d'utilisation et une plus grande puissance.