Sorbet est un vérificateur de type rapide et puissant conçu pour Ruby.Sorbet rapide et évolutif est multithread, évoluant linéairement sur les cœurs de votre CPU.Il vérifie vos types en quelques secondes, vous donnant des commentaires lorsque vous codez.Sorbet prêt pour IDE fonctionne avec votre éditeur préféré pour fournir des fonctionnalités IDE comme la saisie semi-automatique et passer à la définition.Il est facile d'ajouter à votre configuration CI.Progressivement, Sorbet fonctionne avec Ruby normal, vous pouvez donc continuer à utiliser votre chaîne d'outils existante.Ajoutez des types Sorbet à votre base de code un fichier à la fois.Un goût de Sorbet Sorbet est 100% compatible avec Ruby.Il vérifie les définitions de méthode normales et introduit une syntaxe rétrocompatible pour les signatures de méthode.Les signatures de méthode explicites rendent Sorbet utile pour tous ceux qui lisent le code (pas seulement pour l'auteur).Les annotations de type servent d'outil pour comprendre longtemps après leur écriture.Le sorbet est conçu pour être utile et non contraignant.Les annotations explicites sont remboursées avec des messages d'erreur clairs, une sécurité accrue et une productivité accrue.Commencez rapidement Sorbet est conçu pour vous permettre de démarrer rapidement.Ajoutez et installez quelques gemmes, initialisez Sorbet et tapez vérifier votre projet.Sorbet sait également ce qu'il y a dans le Gemfile d'un projet, il sait donc comment créer ou créer des fichiers de définition de type pour toutes les gemmes qu'un projet utilise.Pour plus d'informations sur la prise en main de Sorbet, consultez le guide Mise en route.Conçu pour être interactif, Sorbet offre à votre environnement de développement Ruby des fonctionnalités de type IDE, notamment la saisie semi-automatique, la documentation dans l'éditeur et la définition.L'implémentation exploite le Language Server Protocol pour être compatible avec votre éditeur préféré.Pendant le temps que nous avons passé à adopter Sorbet chez Stripe, d'innombrables personnes nous ont dit que l'ajout de types au code existant ou l'écriture de nouveau code semble interactif, comme la programmation par paire avec le vérificateur de type.Les gens posent des questions sur le sorbet, et il répond en quelques secondes - ou plus rapidement.