Por que a programação funcional é importante?

Transcript

1. Por que a programação funcional é importante? @nulligor nulligor.github.io
2. simplex complect one fold/braid um laço/nó to interleave, intertwine entrelaçar, associar
3. Simplicidade =\= Facilidade Facilidade é subjetiva Simplicidade é objetiva
4. “Simplicidade é pré-requisito para confiabilidade.” Edsger W. Dijkstra
5. Mudança
6. Mudança - Faça melhor - Faça mais - Faça diferente
7. Mudança Mudanças no software requerem análise e decisões - Faça melhor - Faça mais - Faça diferente
8. Mudança A habilidade de ponderar sobre o código é essencial Mudanças no software requerem análise e decisões - Faça melhor - Faça mais - Faça diferente
9. Mudança Assim como a habilidade de modificá-lo rapidamente A habilidade de ponderar sobre o código é essencial Mudanças no software requerem análise e decisões - Faça melhor - Faça mais - Faça diferente
10. Mudanças no software geram complexidade
11. “O principal desafio do ‘programador’ é não ficar confuso com as complexidades de sua própria criação” Edsger W. Dijkstra
12. Quanto mais seu código fica assim:
13. Cada vez mais é importante estruturá-lo bem
14. Código bem estruturado é simples De escrever, ler, ponderar e modularizar
15. Programação funcional?
16. “Poderíamos estar criando os exatos mesmos programas com componentes muito mais simples.” Rich Hickey
17. immutable values functions namespaces data state objects methods syntax
18. Um pouco de história
19. Church-Turing Conjecture 1936 - Lambda Calculus 1936 - Turing Machine
20. Modelos de Computação Descreve como a saída de uma função matemática é computado dada uma entrada Em Teoria da Computabilidade, denotamos o ato de “computar” por “effective method”
21. Modelos de Computação - Cellular Automata - Finite State Machines - Turing Machines - Lambda Calculus - Actor Model - ...
22. state interno instruções goto (jump) fita infinita de símbolos λCalculus Turing Machines funções matemáticas puras variáveis e valores + binding
23. Bottom-to-Top Top-to-Bottom ... ...
24. λCalculus - Codifica toda forma de computação
25. λCalculus - Codifica toda forma de computação - Base de toda linguagem funcional
26. λCalculus - Codifica toda forma de computação - Base de toda linguagem funcional - 3 regras, dados M e N: - (M) - λid.M - MN
27. λCalculus
28. Lisp (1958)
29. 1958?
30. eval
31. S-exps + Prefix notation
32. Data =/= Syntax (* 2 (+ 3 4))
33. Composição de Funções (em Clojure)
34. comp
35. hipotenusa
36. Composição de Programas
37. G (F (input))
39. Lisp e λCalculus estão presentes em toda linguagem atual
40. comp em JS
41. Cada vez mais estamos tentando “acompanhar” a matemática na programação
42. Finite State Machine em Clojure
43. Obrigado :)