Introducción a Haskell

Presentación de introducción a Haskell en Betabeers Madrid

Transcript

1. Introducción a Haskell
2. Gracias a todos por venir y gracias a los organizadores de Betabeers por permitirnos dar esta charla de Haskell. ¡Para nosotros un gran placer!
3. " Anler # Co-organizador del meetup Haskell Mad (comunidad de Haskell de Madrid). Tengo experiencia principalmente en el mundo de las aplicaciones web y he trabajado profesionalmente con PHP, Ruby, Python y JavaScript. Trabajo actualmente con Scala en Fidesmo y en mi tiempo libre con Haskell. Mi cuenta de twitter es @anler por si os interesa seguirme
4. Mi estrategia para esta charla es dividirla en tres partes: 1. Cuál es mi motivación
 2. Cómo Haskell me ayuda
 3. Uso conocido en la industria
5. 1. Motivación
6. Principalmente la necesidad de poder confiar en el código que escribo.
7. La mayor parte del tiempo no tengo idea de lo qué estoy haciendo…
8. y constantemente estoy solucionando el problema equivocado…
9. y esto me lleva a estar modificando el código que escribo una y otra vez…
10. peor aún, a modificar también el código que no yo no he escrito…
11. peor peor aún es que la mayor parte de la vida de una aplicación se dedica a mantenimiento…
12. peor peor peor aún es que cada vez que modifico código pasa esto:
13. PHP Fatal error: Call to undefined method stdClass::something()
14. Uncaught TypeError: undefined is not a function
15. Uncaught exception: ReferenceError: Cannot assign to ‘this’
16. AttributeError: 'NoneType' object has no attribute ‘something’
17. NoMethodError: undefined method `something' for nil:NilClass
18. sinceramente me siento como un monocada vez que al cambiar una cosa romper 50 y que se de cuenta mi jefe mientras le hace una demo del producto a un potencial cliente muy importante
19. Al principio hice lo que todos, busqué refugio en: - Las buenas prácticas 
 - TDD 
 - Software craftmanship
20. ⛩ busqué: disciplinarme, hacerme más riguroso ⛩
21. Pero aún cuando aprendí todo lo que fui capaz para ser más riguroso y aún cuando aprendí a escribir tests suficientemente buenos, mi código seguía (y sigue) fallando
22. –Edsger Dijkstra “Program testing can be used to show the presence of bugs, but never to show their absence!”
23. Y es que con todo lo riguroso que pueda ser, solo puedo escribir tests para detectar solo los errores que sé que puedo cometer!
24. Después de llevar un tiempo frustrado, infeliz, sintiéndome inútil, maldiciendo los clientes, maldiciendo el no poder trabajar con un equipo que “hiciese las cosas bien”... me di cuenta que quizás la culpa no era mía, ni de mis compañeros, ni del cliente…
25. Sino es culpa de cómo entendemos y adoptamos las metodología. El problema que veo con el craftmanship es que pone toda la rigurosidad en los hombros del programador, nos exige que seamos disciplinados…
26. Y es que no lo somos de forma natural, somos humanos, nos distingue la creatividad no la disciplina... las máquinas en cambio sí lo son!
27. Por qué no trasladamos esa carga a las máquinas ⁉
28. 2. Haskell
29. Haskell es funcional
30. Es un paradigma de construcción de programas donde estos se construyen utilizando funciones matemáticas.
31. ¿En la práctica qué significa programar con funciones matemáticas? 1. No se pueden modificar variables. 2. No se pueden modificar estructuras de datos. 3. No se pueden utilizar las excepciones. 4. No se puede escribir por la terminal. 5. No se puede escribir a un fichero. 6. No se puede dibujar en pantalla.
32. ❓
33. La programación funcional es una restricción en la forma en la que escribimos programas, no en qué nuestros programas pueden expresar.
34. Haskell es estático
35. $ ghc —make holaMundo.hs $ ./holaMundo Hola, Mundo! $ runhaskell holaMundo.hs Hola, Mundo!
36. Haskell tiene tipado fuerte
37. ❌ 5 + “veces”
38. ✅ show 5 + “veces”
39. ❌ (5 :: Integer) + (5 :: Float)
40. ✅ fromIntegral (5 :: Integer) + (5 :: Float)
41. ✅ (5 :: Integer) + round (5 :: Float)
42. ❌ if 0 then … else …
43. ✅ if a == 0 then … else …
44. name = “Haskell” ✅ name = “Python” ❌
45. Haskell tiene inferencia de tipos
46. main :: IO ()
 main = printHelloWorld
 
 printHelloWorld :: IO ()
 printHelloWorld = putStrLn helloMsg
 
 helloMsg :: String
 helloMsg = “Hello, World!”
47. main = printHelloWorld
 
 printHelloWorld = putStrLn helloMsg
 
 helloMsg = “Hello, World!”
48. Haskell tiene repl
49. $ ghci
 GHCi, version 8.0.1.20161114
 ? for help Prelude> printStrLn “Hello, World!” Hello, World! Prelude>
50. Haskell es conciso
51. numbers = [1, 2, 3, 4, 5] oddNumbers = filter odd numbers incNumbers = map (+1) numbers sumNumbers = sum numbers
52. data Bool = True | False (||) :: Bool -> Bool -> Bool False || y = y True || _ = True myOr = (||)
53. En Haskell todo es una expresión
54. name withBang = “Hello, World” ++ if withBang
 then “!” else “”
55. En Haskell todas las funciones reciben un argumento
56. add a b = a + b add1 = add 1 three = add1 2 ((add 2) 3) // 5
57. Haskell es perezoso
58. numberOne = head allNaturals allNaturals = [1..]
59. throwException = error “Booom!” neverFail = const “Haha!” neverFail throwException // “Haha” :: String throwException // *** Exception: Booom! //
60. Haskell es puro
61. getLine :: IO String unwrap :: IO String -> String putStrLn :: String -> IO () putStrLn getLine ❌ putStrLn (unwrap getLine) ✅
62. newtype MyInt = MyInt Int doSomethingToMyInt :: MyInt -> … doSomethingToMyInt 123 ❌ doSomethingToMyInt (MyInt 123) ✅
63. 3. Uso en la industria
64. Standard Chartered lo usa para implementar todo su stack
65. Facebook implementa sus programas anti-spam con Haskell
66. 
 Bluespec SystemVerilog (BSV) es un lenguaje para diseño de semiconductores que es una extensión de Haskell
67. Cryptol, un lenguaje y herramientas para desarrollar algoritmos criptográficos está implementado en Haskell
68. Elm, un lenguaje y framework para desarrollar aplicaciones web puramente frontend está implementado en Haskell
69. El primer microkernel formalmente verificado utilizó Haskell como lenguaje de prototipado.
70. Conclusiones
71. Haskell es un lenguaje que cambiará la forma en la que piensas, está preparado para el uso industrial y te ayudará a construir software más robusto.
72. Si estáis interesados en aprender más en Madrid contamos con una comunidad de entusiastas de Haskell: 
 Meetup Madrid: meetup.com/Haskell-MAD/ Y además un canal de Slack: Canal de Slack: haskellnautas.herokuapp.com
73. ¡Estáis todos invitados a uniros a nuestra pequeña
 pero apasionada comunidad!
74. ¡Gracias!