Programação Funcional

Transcript

1. Programação Funcional Rodrigo Alves Miguel Araújo IF686 - 2015.1 λ
2. O que é um paradigma?
3. O que é um paradigma?
4. O que é um paradigma? • Uma forma de estruturar os programas
5. O que é um paradigma? • Uma forma de estruturar os programas • Um estilo de representar o raciocínio
6. O que é um paradigma? • Uma forma de estruturar os programas • Um estilo de representar o raciocínio • Uma forma de representar os dados
7. O que é um paradigma?
8. O que é um paradigma?
9. O que é um paradigma?
10. O que é um paradigma?
11. O que é um paradigma?
12. Características desse paradigma
13. Características desse paradigma • Funções como cidadãos de primeira classe
14. Características desse paradigma • Funções como cidadãos de primeira classe • Imutabilidade
15. Características desse paradigma • Funções como cidadãos de primeira classe • Imutabilidade • 0 efeitos colaterais
16. Características desse paradigma • Funções como cidadãos de primeira classe • Imutabilidade • 0 efeitos colaterais • Brevidade de código (no bullshit)
17. Características desse paradigma • Funções como cidadãos de primeira classe • Imutabilidade • 0 efeitos colaterais • Brevidade de código (no bullshit) • Mais segurança em aplicações concorrentes
18. Características desse paradigma • Funções como cidadãos de primeira classe • Imutabilidade • 0 efeitos colaterais • Brevidade de código (no bullshit) • Mais segurança em aplicações concorrentes • Melhor para aplicações intensamente matemáticas
19. Show me the code (define factorial (lambda(n) (if (= n 0) 1 (* n (factorial (- n 1))))))
20. Show me the code (define factorial (lambda(n) (if (= n 0) 1 (* n (factorial (- n 1))))))
21. Origens desse paradigma
22. Origens desse paradigma • Enraizado no Lambda Calculus ~1930
23. • Enraizado no Lambda Calculus ~1930 • Presente na linguagem LISP, desenvolvida por John McCarthy ~1950 Origens desse paradigma
24. • Enraizado no Lambda Calculus ~1930 • Presente na linguagem LISP, desenvolvida por John McCarthy ~1950 • Depois explorada em OCaml, Scheme, Erlang, Miranda, entre outras… Origens desse paradigma
25. • Enraizado no Lambda Calculus ~1930 • Presente na linguagem LISP, desenvolvida por John McCarthy ~1950 • Depois explorada em OCaml, Scheme, Erlang, Miranda, entre outras… • Mais recentemente vem crescendo novamente com Scala e Clojure Origens desse paradigma
26. Quem usa?
27. Quem usa?
28. Quem usa?
29. Quem usa?
30. Quem usa?
31. Quem usa?
32. Quem usa?
33. Quem usa?
34. Fim Rodrigo Alves Vieira - rav2 http://xkcd.com/1270