O Sorbet é um verificador de tipo rápido e poderoso, projetado para Ruby.O Sorbet rápido e escalável é multithread, escalando linearmente através dos núcleos da sua CPU.Ele verifica seus tipos em segundos, fornecendo feedback enquanto você codifica.O Sorbet pronto para IDE trabalha com seu editor favorito para fornecer recursos de IDE, como preenchimento automático e pular para definição.É fácil adicionar à sua configuração de IC.Gradual por design O Sorbet trabalha com Ruby normal, para que você possa continuar usando sua cadeia de ferramentas existente.Adicione tipos de sorvete ao seu código-base, um arquivo por vez.Um sabor de sorvete é 100% compatível com Ruby.O tipo verifica as definições normais do método e introduz uma sintaxe compatível com versões anteriores para assinaturas de métodos.As assinaturas explícitas do método tornam o Sorbet útil para quem também lê o código (não apenas para o autor).As anotações de tipo servem como uma ferramenta para entender muito depois de serem gravadas.Sorvete é projetado para ser útil, não oneroso.As anotações explícitas são reembolsadas com mensagens de erro claras, maior segurança e maior produtividade.Comece rapidamente O Sorbet foi projetado para você começar rapidamente.Adicione e instale algumas gemas, inicialize o Sorbet e digite check your project.O Sorbet também sabe o que há no Gemfile de um projeto, por isso sabe como criar ou criar arquivos de definição de tipo para quaisquer gemas que um projeto use.Para mais informações sobre como começar a usar o Sorbet, consulte o Guia de Introdução.Projetado para ser interativo, o Sorbet oferece recursos semelhantes ao IDE do seu ambiente de desenvolvimento Ruby, incluindo preenchimento automático, documentação no editor e vá para a definição.A implementação utiliza o Protocolo do servidor de idiomas para ser compatível com o seu editor favorito.No tempo que passamos adotando o Sorbet no Stripe, inúmeras pessoas nos disseram que adicionar tipos ao código existente ou escrever um novo código parece interativo, como a programação em pares com o verificador de tipos.As pessoas fazem perguntas sobre o sorvete, e ele responde em segundos - ou mais rápido.