Introduo
Programao
Uma Abordagem Funcional
Programao
Funcional
Programao Funcional
Elaborar programas para uma mquina
funcional que:
Avalia expresses escritas segundo regras sintticas bem definidas;
Aceita a definio de novas funes;
Avalia funes
Mquina Funcional
l expresso 2+4
Soma de 2 e
avalia 4
exibe resultado 6
Mquina Funcional
usurio: 4 2
resposta: 2
usurio: f 3 - 2
resposta: definio de f no conhecida Arquivo texto
usurio: carrega arquivo com funes fx=x+1
resposta: ok
usurio: f 3 - 2
resposta: 2
Funes
Matemticas
Definio de Funo Matemtica
Uma funo F uma relao de um conjunto A com um
conjunto B onde cada elemento de A se relaciona
unicamente com um elemento de B.
Descries Funcionais
Extensional: todos os elementos so explicitados:
f = {(a,1), (b,2), (c,3)}
Intencional: os elementos so descritos atravs de
um critrio de pertinncia:
f = {(x,y) | x e y = 2x}
Exerccios
1. Conceitue programao de computadores.
2. Quais os principais paradigmas de programao e o
que os diferenciam.
3. Dos paradigmas encontrados, identifique quais sero
estudados no seu curso e porque.
4. Apresente exemplo de outras linguagens tcnicas
usadas pelo ser humano para descrever conhecimento.
A linguagem de programao Haskell
Oferece uma sintaxe simples e elegante;
Puramente funcional;
Lazy evaluation;
Tipada;
Inferncia de tipos;
Pgina da Linguagem: www.haskell.org
Linha do Tempo
O interpretador Hugs
Uma implementao da linguagem de programao
funcional Haskell;
Prov um avaliador de expresses descritas por
funes
O avaliador funciona por meio de um interpretador,
que interpreta as expresses para o computador
Avaliador do ambiente Hugs
Operaes e Primitivas
Nmero de
Operador Denominao Notao Exemplo
argumentos
Infixada/ 2+3
+ soma binrio
pr-fixada (+) 2 3
52
subtrao/ binrio/ Infixada/
- (-) 5 2
simetria unrio pr-fixada -3
Infixada/ 7*3
* multiplicao binrio
pr-fixada (*) 7 3
Infixada/ 5/2
/ diviso binrio
pr-fixada (/) 5 2
Infixada/ 2^2
^ potncia binrio
pr-fixada (^) 2 2
div diviso inteira binrio pr-fixada div 5 2
resto da diviso
mod binrio pr-fixada mod 5 2
inteira
Exemplos
3+9/2 > 30
FALSE
7.4/2*3^2+sqrt 4
35.30
3+4 > 20 && 5*3 == 10 && 50 /= 34
FALSE
Descrio de Funes
f x y = x*y
nome da expresso que define a
funo parmetros relao que h entre os
parmetros
interface da funo corpo da definio
Exemplo
Hugs> 4 * 3 2
10
Hugs> f 2 + 10
ERROR - Undefined variable "f"
exemplo1.hs
fx=x+1
Hugs>:load c:\boeres\exemplo1.hs
Main> f 2 + 10
13
Exerccio
Dados os catetos a e b de um tringulo retngulo,
calcular a sua hipotenusa.
Exemplo de Script
hipo x y = sqrt (quad x + quad y)
quad x = x * x
hipo x y = sqrt (x * x + y * y)
Avaliao de expresses
Ordem Expresso Reduo Aplicada
1 hipo 3 5 expresso inicial
2 sqrt ( quad 3 + quad 5) def de hipo
3 sqrt ( 3 * 3 + quad 5) def de quad
4 sqrt ( 3 * 3 + 5 * 5) def de quad
5 sqrt (9 + 5 * 5) *
6 sqrt (9 + 25) *
7 sqrt 34 +
8 5.83095 sqrt
Precedncia
Ordem Operao
1 +,-
2 *, /
3 div, mod
Exerccios
1. Defina na linguagem Haskell as funes abaixo:
a) Determinao da rea de um retngulo de lados a e b
b) Determinao da rea de um crculo de raio r
c) Determinao da distncia entre dois pontos
2. Calcule a mdia aritmtica de trs nmeros.
Exerccios - resolvidos
ex2a a b = a * b
ex2b r = 3.14 * r*r
ex2c x1 y1 x2 y2 = sqrt((x2-x1)^2 + (y2-y1)^2)
ex3 n1 n2 n3 = (n1+n2+n3)/3
