La fea sintaxis de Sorbet: ¿Un mal necesario para la verificación de tipos en Ruby?

2025-05-09

Sorbet, el verificador de tipos estático Ruby de Stripe, tiene una sintaxis notoriamente torpe. En esta charla, Jake explica las compensaciones detrás de las decisiones de diseño de Sorbet. Si bien la sintaxis no es bonita, la semántica (lo que significan los tipos) es diez veces más importante. Sorbet no se creó para forzar la escritura estática, sino para abordar las necesidades de los ingenieros de Stripe de mejorar la productividad y el mantenimiento del código. La charla rastrea la historia de Sorbet, explorando varios enfoques de diseño antes de decidirse por una extensión DSL del Ruby existente. Se discuten mejoras futuras, incluyendo refinamientos en la sintaxis actual e integración con el estándar RBS de Ruby, buscando una mayor facilidad de uso y potencia.

Leer más