Las ventajas de programar con tipos abundan: detección precoz de errores, auto-compleción en IDEs, mejora de la documentación, etc. Aun así, los lenguajes fuertemente tipados como Scala, así como las extensiones tipadas de lenguajes dinámicos como TypeScript, no tienen aún la visibilidad que merecen. Para aquellos que aún dudan en abrazar el maravilloso mundo del tipado estático, esta charla apela a una ventaja adicional: su conexión con la lógica. Veremos que programar con tipos y razonar lógicamente es exactamente lo mismo, ¡y quién querría programar en contra de la razón!

Consulta el material del ponente.