A Sintaxe Feia do Sorbet: Um Mal Necessário para Verificação de Tipos em Ruby?

Sorbet, o verificador de tipos estático Ruby da Stripe, possui uma sintaxe notoriamente desajeitada. Nesta palestra, Jake explica as compensações por trás das escolhas de design do Sorbet. Embora a sintaxe não seja bonita, a semântica (o que os tipos significam) é dez vezes mais importante. O Sorbet não foi criado para forçar a tipagem estática, mas sim para atender às necessidades dos engenheiros da Stripe de melhorar a produtividade e a manutenibilidade do código. A palestra traça a história do Sorbet, explorando várias abordagens de design antes de se decidir por uma extensão DSL do Ruby existente. Melhorias futuras são discutidas, incluindo refinamentos na sintaxe atual e integração com o padrão RBS do Ruby, buscando maior facilidade de uso e poder.