Tipar o no tipar, una cuestión de lógica
Languages
• October 2021
Tipar o no tipar, una cuestión de lógica
About
Tipar o no tipar, una cuestión de lógica
About
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!
Language
Spanish
Level
Intermediate
Length
45 minutes
Type
online conference
About the speaker
About the speaker
Juan Manuel Serrano
Associate Professor •
University Rey Juan Carlos
Juan Manuel Serrano is Associate Professor at the University Rey Juan Carlos and co-founder of Habla Computing. He has been using Scala for the last ten years in real-world applications for the banking sector, and has extensive experience in consultancy projects with scalaz, cats and other functional frameworks of the Scala ecosystem. He founded and manages the Madrid Scala Meetup group and is member of the organizing committee of Lambda World.
Details
Language
Spanish
Level
Intermediate
Length
45 minutes
Type
online conference