Tipar o no tipar, una cuestión de lógica

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, Haskell, etc., 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!

Ponente

Juan Manuel Serrano Hidalgo

Profesor Universidad Rey Juan Carlos y Cofundador de Habla Computing

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.

Track 1
Viernes 8/04/2022
17:00 - 18:00

Salón de actos

  • Lógica
  • Programación funcional
  • Scala
  • Tipos

Si traes tu propio portatil, no necesitarás instalar ningún tipo de software para seguir la ponencia.

No necesitas tener ningún conocimiento previo para seguir la ponencia.