Sorbet es un corrector de tipo rápido y potente diseñado para Ruby.Sorbet, rápido y escalable, es multiproceso y se escala linealmente a través de los núcleos de su CPU.Comprueba tus tipos en segundos, dándote comentarios a medida que codificas.El Sorbet listo para IDE funciona con su editor favorito para proporcionar funciones IDE como autocompletar y saltar a la definición.Es fácil agregar a su configuración de CI.Poco a poco, Sorbet funciona con Ruby normal, por lo que puede seguir utilizando su cadena de herramientas existente.Agregue tipos de sorbete a su base de código un archivo a la vez.Una muestra de Sorbet Sorbet es 100% compatible con Ruby.Escribe verifica las definiciones de métodos normales e introduce una sintaxis compatible con versiones anteriores para las firmas de métodos.Las firmas de métodos explícitos hacen que Sorbet también sea útil para cualquiera que lea el código (no solo el autor).Las anotaciones de tipo sirven como una herramienta para comprender mucho después de que se escriben.Sorbet está diseñado para ser útil, no pesado.Las anotaciones explícitas se reembolsan con mensajes de error claros, mayor seguridad y mayor productividad.Comience rápidamente Sorbet está diseñado para ayudarlo a comenzar rápidamente.Agregue e instale algunas gemas, inicialice Sorbet y escriba verificar su proyecto.Sorbet también sabe lo que hay en el Gemfile de un proyecto, por lo que sabe cómo crear o crear archivos de definición de tipo para cualquier gema que use un proyecto.Para obtener más información sobre cómo comenzar a usar Sorbet, consulte la guía de Inicio.Diseñado para ser interactivo, Sorbet le brinda a su entorno de desarrollo de Ruby características similares a IDE, que incluyen autocompletar, documentación en el editor y pasar a la definición.La implementación aprovecha el Protocolo de servidor de idiomas para que sea compatible con su editor favorito.En el tiempo que pasamos adoptando Sorbet at Stripe, innumerables personas nos han dicho que agregar tipos al código existente o escribir código nuevo se siente interactivo, como la programación de pares con el verificador de tipos.La gente le hace preguntas a Sorbet y responde en segundos, o más rápido.