Programação Funcional

Slide 1

Slide 1 text

Programação Funcional Rodrigo Alves Miguel Araújo IF686 - 2015.1 λ

Slide 2

Slide 2 text

O que é um paradigma?

Slide 3

Slide 3 text

O que é um paradigma?

Slide 4

Slide 4 text

O que é um paradigma? • Uma forma de estruturar os programas

Slide 5

Slide 5 text

O que é um paradigma? • Uma forma de estruturar os programas • Um estilo de representar o raciocínio

Slide 6

Slide 6 text

O que é um paradigma? • Uma forma de estruturar os programas • Um estilo de representar o raciocínio • Uma forma de representar os dados

Slide 7

Slide 7 text

O que é um paradigma?

Slide 8

Slide 8 text

O que é um paradigma?

Slide 9

Slide 9 text

O que é um paradigma?

Slide 10

Slide 10 text

O que é um paradigma?

Slide 11

Slide 11 text

O que é um paradigma?

Slide 12

Slide 12 text

Características desse paradigma

Slide 13

Slide 13 text

Características desse paradigma • Funções como cidadãos de primeira classe

Slide 14

Slide 14 text

Características desse paradigma • Funções como cidadãos de primeira classe • Imutabilidade

Slide 15

Slide 15 text

Características desse paradigma • Funções como cidadãos de primeira classe • Imutabilidade • 0 efeitos colaterais

Slide 16

Slide 16 text

Características desse paradigma • Funções como cidadãos de primeira classe • Imutabilidade • 0 efeitos colaterais • Brevidade de código (no bullshit)

Slide 17

Slide 17 text

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

Slide 18

Slide 18 text

Slide 19

Slide 19 text

Show me the code (define factorial (lambda(n) (if (= n 0) 1 (* n (factorial (- n 1))))))

Slide 20

Slide 20 text

Show me the code (define factorial (lambda(n) (if (= n 0) 1 (* n (factorial (- n 1))))))

Slide 21

Slide 21 text

Origens desse paradigma

Slide 22

Slide 22 text

Origens desse paradigma • Enraizado no Lambda Calculus ~1930

Slide 23

Slide 23 text

• Enraizado no Lambda Calculus ~1930 • Presente na linguagem LISP, desenvolvida por John McCarthy ~1950 Origens desse paradigma

Slide 24

Slide 24 text

• 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

Slide 25

Slide 25 text

• 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

Slide 1

Slide 1 text

Slide 2

Slide 2 text

Slide 3

Slide 3 text

Slide 4

Slide 4 text

Slide 5

Slide 5 text

Slide 6

Slide 6 text

Slide 7

Slide 7 text

Slide 8

Slide 8 text

Slide 9

Slide 9 text

Slide 10

Slide 10 text

Slide 11

Slide 11 text

Slide 12

Slide 12 text

Slide 13

Slide 13 text

Slide 14

Slide 14 text

Slide 15

Slide 15 text

Slide 16

Slide 16 text

Slide 17

Slide 17 text

Slide 18

Slide 18 text

Slide 19

Slide 19 text

Slide 20

Slide 20 text

Slide 21

Slide 21 text

Slide 22

Slide 22 text

Slide 23

Slide 23 text

Slide 24

Slide 24 text

Slide 25

Slide 25 text

Slide 26

Slide 26 text

Slide 27

Slide 27 text

Slide 28

Slide 28 text

Slide 29

Slide 29 text

Slide 30

Slide 30 text

Slide 31

Slide 31 text

Slide 32

Slide 32 text

Slide 33

Slide 33 text

Slide 34

Slide 34 text