El otro TDD: Type Driven Development

Los tipos son una gran ayuda a la hora de escribir programas con menos defectos, ya que el comprobador de tipos nos protege de muchos errores. Ahora veremos el Desarrollo Guiado por Tipos, donde llevamos los tipos al siguiente nivel y los usaremos para construir sistemas de una manera mucho más efectiva. Los sistemas resultantes serán más fáciles de entender, probar y extender.

Transcript

1. El otro TDD: Type Driven Development Juan Paucar @JuxnCxrlosP
2. Sistemas de Tipos - Conjunto de reglas que asignan una propiedad llamada “Tipo” a las construcciones del lenguaje - Estos tipos formalizan y obligan al cumplimiento de ciertas interacciones entre componentes del lenguaje - Su propósito es reducir la cantidad de errores en los programas
5. Test unitarios Test de integracion Test de Aceptación Pirámide de Pruebas
6. Sistema de Tipos Test unitarios Test de integracion Test de Aceptación
7. Entonces… son útiles?
8. Pues depende...
9. Malos sistemas de Tipos Programas correctamente tipados Programas que funcionan Región de dolor abismal esperando que pase una tragedia
10. BUENOS SISTEMAS DE TIPOS Programas correctamente tipados Programas que funcionan Región de dolor Pero más pequeña
11. TypeScript Mejorando el trabajo de día a día
12. TypeScript Es un superconjunto tipado de JavaScript que compila a JavaScript plano
13. Vamos a Probarlo
15. Pero todavia hay mas
16. Aunque es algo todavía más complicado que haskell
17. idris Por el creador de `whitespace`
18. IDRIS Es un lenguaje de programación funcional con tipos dependientes - Una tupla de enteros es un tipo - Una tupla de enteros donde el segundo entero es mayor que el primero es un tipo dependiente
19. Type Driven Development Los tipos son lo primero. Tiene tres pasos - Type: Escribir el tipo para una función - Define: Crear una implementación (posiblemente incompleta) - Refine: Mejorar o completar la definición
20. Pero podría ser aplicado En cualquier lenguaje
21. Por qué IDRIS?
22. IDRIS - First class dependent types - Sintáxis inspirada en Haskell - Compilado - Con Type Classes (traits en Scala o interfaces super avanzadas) - Evaluado estrictamente
23. Manos a la obra para saber qué significa
24. No incrementa la dificultad de programación de un sistema?
26. Type Driven Development - Aprovecha las ventajas de los sistemas de tipos - No es un reemplazo para el Desarrollo dirigido por pruebas - Puede ser utilizado en lugares específicos para demostrar la correctitud del programa - Hay casos en los que se va a apreciar más su utilidad
27. Máquina de estados CLOSED OPEN Open Door CLOSE Door Knock
28. CONCLUSIONES “Humans are fundamentally incapable of writing correct programs”
29. Ayudan a reducir errores
30. Prueban la correctitud del sistema
31. No todos los sistemas de tipos son igual de útiles
32. GRACIAS Atentos al tema del prómixo mes