Applicative_Monadic_Validation_-_ScaLatam.pdf

Transcript

1. Mi Primer Validador Funcional (Effect agnostic) Raúl Piaggio - ScaLatam 2019 - 02/05/19
2. La larga (y no empinada) curva de aprendizaje de Scala
3. Librería base: io.underscore.validation
4. Librería base: io.underscore.validation
5. Librería base: io.underscore.validation
6. Librería base: io.underscore.validation DSL
7. Librería base: io.underscore.validation DSL
8. Preguntas hasta acá?
9. Dilema
10. Aha! Id Type
11. Aha! Id Type
12. Objetivos 01 Seguir usando código existente sin modificaciones (o modificaciones mínimas). 02 Poder combinar contextos fácilmente. 03 Inferir contexto resultante.
13. Inspiración • Abstraer contexto: ◦ Tagless Final ◦ Free Monads ◦ Doobie • Scala Meetup Montevideo ◦ Natural Transformations: F[_] ~> G[_]
14. Cómo generalizamos? • Functor? Monad? Applicative! • Múltiples evaluaciones independientes. • Paralelismo! • Qué obtenemos del contexto? ◦ map ◦ pure ◦ traverse/compose
15. Primeros pasos • Todos los “generadores base” existentes ahora validan en contexto Id[_]. Ejemplo: • Todos los “modificadores” existentes respetan el contexto. Ejemplo:
16. Y qué hacemos con “and” ???
17. Comportamiento deseado
18. Más o menos se entiende hasta acá?
19. Solución
20. Solución
21. Listo! Código Real
22. Combinar contextos
23. Combinar contextos
24. Gracias! rpiaggio@gmail.com @RaulPiaggio
25. Y las Monads??
26. Nueva encarnación de librería base: checklist
27. checklist puede modificar el valor
28. Hacemos lo mismo...
29. Pero si el valor se modifica no podemos paralelizar! Hay dependencia...
30. Generalizamos CanLift (aún más)