Refined types ... si compila no puede fallar

Are you going?

77 people going

Share:
Location image of event venue

Details

El sistema de tipos de scala permite que nuestro código sea expresivo y robusto, pero hay ocasiones en las que no nos garantiza toda la seguridad que necesitamos. Por ejemplo poder limitar el rango de valores de un entero, o la longitud de un string.
Refined es una librería que permite hacer más preciso nuestro código añadiendo restricciones sobre los tipos de scala a la vez que ayuda a dar un mejor contexto al mismo.
Veremos qué problema resuelven los refined types, qué mecanismos de scala hacen posibles su funcionamiento, cómo usarlos en una aplicación real y qué librerías tienen soporte para ellos (ej circe, scalacheck, pureconfig, finch)

Ponente: Miguel Ortega, staff developer en homeaway. Ha programado en Scala los últimos cuatro años en aplicaciones de todo tipo, ahora intentando aplicar lo que he aprendido en estos años para diseñar arquitecturas funcionales.
Host: Homeaway. Se ofrecerán pizzas y refrescos al término de la charla.