o Funcional Programac a Caderno de Exerc cios

o Frade & Jorge Sousa Pinto Maria Joa Departamento de Inform atica Universidade do Minho 2006

1o Ano LCC (2006/07)

Conte udo
1 Ficha Pr atica 1 1.1 Valores, Express oes e Tipos . . . 1.2 Fun c oes: Tipos e Deni c ao . . . 1.3 Importa c ao de M odulos . . . . . 1.4 Introdu c ao ` as Fun c oes Recursivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3 5 7 8 9 9 11 12 13 14 15 15 16 17 18 21 21 22 22 25 25 26 29 29 30 30 32 33 33

2 Ficha Pr atica 2 2.1 Deni c ao (multi-clausal) de Fun c oes . . . . . 2.2 Deni c oes Locais . . . . . . . . . . . . . . . . 2.3 Listas e Padr oes sobre Listas . . . . . . . . . 2.4 Deni c ao de Fun c oes Recursivas sobre Listas 2.5 Tipos Sin onimos . . . . . . . . . . . . . . . . 3 Ficha Pr atica 3 3.1 Fun c oes de Mapeamento, Filtragem, e Folding 3.2 As Fun c oes map e filter . . . . . . . . . . . 3.3 A Fun c ao foldr . . . . . . . . . . . . . . . . 3.4 Outras Fun c oes . . . . . . . . . . . . . . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

. . . . .

sobre Listas . . . . . . . . . . . . . . . . . . . . . . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

4 Ficha Pr atica 4 4.1 Implementa c ao de uma Tabela por uma Lista . . . . . . . . . . . . . . . . . . . . . 4.2 Implementa c ao de uma Tabela por uma Arvore Bin aria de Pesquisa . . . . . . . . 4.3 Arvores de Express ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Ficha Pr atica 5 5.1 Classes, Inst ancias de Classes e Tipos Qualicados . . . . . . . . . . . . . . . . . . 5.2 Algumas das classes pr e-denidas do Haskell . . . . . . . . . . . . . . . . . . . . . 6 Ficha Pr atica 6 6.1 Input / Output em Haskell . . . . . 6.2 Declara c ao de Tipos . . . . . . . . . 6.3 Constru c ao de Menus . . . . . . . . 6.4 Manipula c ao de Ficheiros . . . . . . 6.5 Uma vers ao melhorada do programa 6.6 Compila c ao de um programa Haskell

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

Ficha Pr atica 1

Nesta cha pretende-se trabalhar sobre os seguintes conceitos b asicos da linguagem de programa c ao funcional Haskell: valores e express oes; tipos b asicos e tipos compostos; operadores pr e-denidos; deni c ao de fun c oes simples; c alculo de express oes (passos de redu c ao) simples; utiliza c ao de m odulos; utiliza c ao de recursividade na deni c ao de fun c oes.

1.1

Valores, Express oes e Tipos

Os valores ou constantes s ao as entidades b asicas da linguagem Haskell. As express oes s ao obtidas combinando-se valores com fun c oes, operadores (que s ao tamb em fun c oes) e vari aveis, que consideraremos na sec c ao seguinte. Observe-se que os valores s ao casos particulares de express oes. Exemplos: Valores 5 67.9 True u abcd Express oes 3.8 + 4.6 True && (not False) ((*) 4 ((+) 9 3)) (note os operadores inxos) 8 * 5 + 4 * ((2 + 3) * 8 - 6) (toLower (toUpper x))

Um conceito muito importante associado a uma express ao e o seu tipo. Os tipos servem para classicar entidades (de acordo com as suas caracter sticas). Em Haskell escrevemos e :: T para dizer que a express ao e e do tipo T (ou e tem tipo T). Exemplos: 5 :: Int 67.9 :: Float True :: Bool u :: Char (3.8 + 4.6) :: Float (True && (not False)) :: Bool ((*) 4 ((+) 9 3)) :: Int (8 * 5 + 4 * ((2 + 3) * 8 - 6)) :: Int (toLower (toUpper x)) :: Char

Tipos B asicos
O Haskell oferece os seguintes tipos b asicos: Bool - Boleanos: True, False Char - Caracteres: a, x, R, 7, \n, ... Int - Inteiros de tamanho limitado: 1, -4, 23467, ... Integer - Inteiros de tamanho ilimitado: -6, 36, 45763456623443249, ... Float - N umeros de v rgula utuante: 3.5, -45.78, ... Double - N umeros de v rgula utuante de dupla precis ao: -45.63, 3.678, 51.2E7, ... () - Unit: ()

Tipos Compostos
Produtos Cartesianos (a1, a2, ..., an) :: (T1, T2, ..., Tn), sendo a1 to tipo T1, a2 do tipo T2, ... an do tipo Tn.

Exemplos: (3, d) :: (Int,Char) (True, 5.7, 3) :: (Bool, Float, Int) (k, (6, 2), False) :: (Char, (Int, Int), Bool) Listas [a1, a2, ..., an]::[T] todos os elementos, ai, da lista, s ao do tipo T. Exemplos: [3, 4, 3, 7, 8, 2, 5] :: [Int] [r, c, e, 4, d] :: [Char] (nota: [r, c, e, 4, d]=rce4d) [(a,5), (d, 3), (h, 9)] :: [(Char,Int)] [[5,6], [3], [9,2,6], [], [1,4]] :: [[Int]]

C alculo do Valor de uma Express ao

Um interpretador de Haskell (no nosso caso o ghci) usa deni c oes de fun c oes e operadores como regras de c alculo, para calcular o valor de uma express ao. Por exemplo, a express ao 8 * 5 + 4 * ((2 + 3) * 8 - 6) e calculada pelos seguintes passos: 8 * 5 + 4 * ((2 + 3) * 8 - 6) 40 + 4 * (5 * 8 - 6) 40 + 4 * (40 - 6) 40 + 4 * 34 40 + 136 176 Tarefa 1 No ghci fa ca: > > > > > > > > > > :set +t fst (4, a) snd (4, a) fst (5.6, 3) :i fst :t fst :i tail :t tail tail [6,7,3,9] tail sdferta

Observe o mecanismo de infer encia de tipos do Haskell e o polimorsmo das fun c oes fst e tail. Tarefa 2 Inra o tipo, se existir, de cada uma das seguintes express oes, e avalie-a: [True, (5>4), (not (5==6)), (True || (False && True))] ((tail abcdef),(head abcdef)) [(tail abcdef),(head abcdef)] [4,5,6]++[3,5,8] (tail [6,7]) concat [asdf, bbb, tyuui, cccc]

1.2

Fun c oes: Tipos e Deni c ao

Em Haskell as fun c oes s ao objectos com o mesmo estatuto que os valores de tipos b asicos e compostos. Quer isto dizer que t em igualmente um tipo. Fun c oes f :: T1 -> T2 fun c oes que recebem valores do tipo T1 e devolvem valores do tipo T2. (f a) :: T2 aplica c ao da fun c ao f ao argumento a do tipo T1. Exemplos: toLower :: Char -> Char not :: Bool -> Bool ord :: Char -> Int chr :: Int -> Char fst :: (a, b) -> a tail :: [a] -> [a] H a fun c oes ` as quais e poss vel associar mais do que um tipo (fun c oes polim orcas). O Haskell recorre a vari aveis de tipo (a, b, c, ...) para expressar o tipo de tais fun c oes. Uma vari avel de tipo representa um tipo qualquer. Quando as fun c oes s ao usadas, as vari aveis de tipo s ao substitu das pelos tipos concretos adequados. Um princ pio fundamental de qualquer linguagem do programa c ao com tipos e do compatibilidade do tipo de uma fun c ao com os tipos dos seus argumentos. A verica c ao desta condi c ao antes da compila c ao dos programas protege-os da ocorr encia de muitos erros durante a sua execu c ao. Para ilustrar o comportamento do interpretador nesta situa c ao, tente avaliar a seguinte express ao: > tail 45

Fun c oes Pr e-denidas

O Haskell oferece um conjunto de fun c oes pr e-denidas (cf. o m odulo Prelude). Alguns exemplos foram introduzidos anteriormente: operadores l ogicos &&, ||, not ; operadores relacionais >, <=, == ; fst, snd ;

operadores sobre produtos cartesianos operadores sobre listas

head, tail, length, reverse, concat, ++ .

Fun c oes Denidas pelo Programador

Mas podemos tamb em denir novas fun c oes. Uma fun c ao e denida por uma equa c ao que relaciona os seus argumentos com o resultado pretendido: <nomefun c~ ao> <arg1>...<argn> = <express~ ao> Por exemplo: ex a = 50 * a funcao1 x y = x + (70*y)

Depois de denidas estas fun c oes poderemos utiliz a-las para construir novas express oes, que ser ao avaliadas de acordo com as deni c oes das fun c oes. Por exemplo: funcao1 (ex 10) 1 (ex 10) + (70*1) (50*10) + (70*1) 500 + (70*1) 500 + 70 570

O tipo de cada fun c ao e inferido automaticamente pelo interpretador; no entanto e considerado boa pr atica incluir explicitamente na deni c ao de uma fun c ao o seu tipo. Tomemos um segundo exemplo: uma fun c ao que recebe um par de inteiros e d a como resultado o maior deles. Esta fun c ao, a que chamaremos maior, poder a ser denida como se segue: maior :: (Int, Int) -> Int maior (x,y) = if (x > y) then x else y Se quisermos agora denir uma fun c ao que calcule o maior de tr es inteiros, poderemos usar a fun c ao anterior nessa deni c ao: maiorde3 :: Int -> Int -> Int -> Int maiorde3 x y z = (maior ((maior (x,y)), z))

M odulos de C odigo Haskell

As deni c oes de fun c oes n ao podem ser introduzidas directamente no interpretador de Haskell, devendo antes ser escritas num cheiro a que chamaremos um m odulo. Um m odulo e em geral um cheiro contendo um conjunto de deni c oes (declara c oes de tipos, de fun c oes, de classes, ...) que ser ao lidas pelo interpretador, e depois utilizadas pelo mesmo. Um m odulo Haskell e armazenado num cheiro com extens ao .hs, <nome>.hs, em que <nome> representa o nome do m odulo, que ter a que ser declarado na primeira linha do cheiro. Por exemplo, o cheiro Teste.hs dever a come car com a declara c ao seguinte: module Teste where .... Um exemplo de um m odulo contendo duas das fun c oes acima denidas ser a: module Teste where funcao1 x y = x + (70*y) ex a = 50 * a Tarefa 3 1. Crie um cheiro com o m odulo acima apresentado. 2. No ghci carregue este m odulo, escrevendo > :l Teste.hs 3. Use o interpretador ghci para vericar qual o tipo das fun c oes denidas no m odulo. 4. Avalie depois a express ao funcao1 (ex 10) 1.

Tarefa 4 Dena e teste as seguintes fun c oes (sugest ao: crie um m odulo com o nome Ficha1 para incluir as deni c oes que efectuar nesta aula). 1. Dena uma fun c ao que receba dois pares de inteiros e retorne um par de inteiros, sendo o primeiro elemento do par resultado a soma dos primeiros elementos dos pares de entrada, e o segundo elemento do par, o produto dos segundos elementos dos pares de entrada. 2. Escreva uma fun c ao que, dados tr es n umeros inteiros, retorne um par contendo no primeiro elemento o maior dos n umeros, e no segundo elemento o segundo maior dos n umeros. 3. Escreva uma fun c ao que receba um triplo de n umeros inteiros e retorne um triplo em que os mesmos n umeros est ao ordenados por ordem decrescente. 4. Os lados de qualquer tri angulo respeitam a seguinte restri c ao: a soma dos comprimentos de quaisquer dois lados, e superior ao comprimento do terceiro lado. Escreva uma fun c ao que receba o comprimento de tr es segmentos de recta e retorne um valor booleano indicando se satisfazem esta restri c ao. 5. Escreva uma fun c ao abrev que receba uma string contendo nome de uma pessoa e retorne uma string com o primeiro nome e apelido1 (e.g. (abrev Joao Carlos Martins Sarmento)=Joao Sarmento) As fun c oes, pr e-denidas, words e unwords poder ao ser-lhe uteis words :: String -> [String], d a como resultado a lista das palavras (strings) de um texto (uma string) unwords :: [String] -> String, constroi um texto (uma string) a partir de uma lista de palavras (strings).

1.3

Importa c ao de M odulos

Um programa em Haskell e formado por um conjunto de m odulos. As deni c oes de cada m odulo podem ser utilizadas internamente, ou exportadas para ser utilizadas noutros m odulos. Para utilizar deni c oes contidas num outro m odulo e necess ario import a-lo explicitamente. Este tipo de liga c ao entre m odulos estabelece-se utilizando uma declara c ao import. Como exemplo, vejamos como podemos ter acesso ` as fun c oes de manipula c ao de caracteres e strings (listas de caracteres) dispon veis no m odulo Char. module Conv1 where import Char con = toLower A fun x = toUpper x Uma excep c ao a esta regra e o m odulo Prelude, que constitui a base da linguagem Haskell, e cujas deni c oes est ao sempre dispon veis em todos os outros m odulos, sem que seja necess ario import a-lo. Tarefa 5 1. Crie um cheiro com o m odulo acima apresentado. Use o interpretador ghci para experimentar a fun c ao fun e ver o valor da constante con. 2. Crie um cheiro Exemp.hs com o m odulo seguinte:
1 Considere

que o apelido s o tem um nome.

module Exemp where import Conv2 import Char conv x = if (isAlpha x) then (upperandlower x) else [] e outro cheiro com o m odulo Conv2: module Conv2 where import Char upperandlower c = [(toLower c), (toUpper c)] Carregue o cheiro Exemp.hs no ghci e experimente as fun c oes conv e upperandlower. Verique qual o tipo das fun c oes. Tarefa 6 Consulte as deni c oes oferecidas pelo m odulo Char, escrevendo > :b Char

1.4

Introdu c ao ` as Fun c oes Recursivas

Considere agora a seguinte deni c ao matem atica da fun c ao factorial para n umeros inteiros n ao negativos: 0! = 1 n! = n*(n-1)*(n-2)*...*1 Notando que n! = n*(n-1)!, uma possivel deni c ao em Haskell da fun c ao factorial, ser a: fact :: Int -> Int fact n = if (n==0) then 1 else n * fact (n-1) Repare que esta fun c ao e recursiva, i.e. ela aparece na pr opria express ao que a dene. Diz-se tamb em que a fun c ao se invoca a si pr opria. O c alculo da fun c ao termina porque se atinge sempre o caso de paragem (n=0). Tarefa 7 1. Dena uma fun c ao que calcule o resultado da exponencia c ao inteira xy sem recorrer a fun c oes pr e-denidas. 2. Dena uma fun c ao que recebe uma lista constr oi o par com o primeiro e o u ltimo elemento da lista. 3. Dena uma fun c ao que dada uma lista d a o par com essa lista e com o seu comprimento. 4. Dena uma fun c ao que dada uma lista de n umeros calcula a sua m edia.

Ficha Pr atica 2

Nesta cha pretende-se trabalhar sobre os seguintes conceitos b asicos da linguagem de programa c ao funcional Haskell: no c ao de padr ao e de concord ancia de padr oes; deni c oes multi-clausais de fun c oes e a sua rela c ao com a redu c ao (c alculo) de express oes; deni c ao de fun c oes com guardas, deni c oes locais. Pretende-se ainda trabalhar na deni c ao de fun c oes recursivas sobre listas, e na deni c ao de tipos sin onimos.

2.1

Deni c ao (multi-clausal) de Fun c oes

nome arg1 arg2 ... argn = express ao

A deni c ao de fun c oes pode ser feita por um conjunto de equa c oes da forma: em que cada argumento da fun c ao tem que ser um padr ao. Um padr ao pode ser uma vari avel, uma constante, ou um esquema de um valor at omico (isto e, o resultado de aplicar construtores b asicos dos valores a outros padr oes). Al em disso, estes padr oes n ao podem ter vari aveis repetidas (padr oes lineares ). Exemplo: 5 e um padr ao do tipo Int; [x,A,y] e um padr ao do tipo [Char]; (x,8,(True,b)) e um padr ao do tipo (a,Int,(Bool,b)).

Mas, [x,a,1], (2,x,(z,x)) e (4*5,y) n ao podem ser padr oes de nenhum tipo. Porqu e ? Quando se dene uma fun c ao podemos incluir informa c ao sobre o seu tipo. No entanto, essa informa c ao n ao e obrigat oria. O tipo de cada fun c ao e inferido automaticamente pelo interpretador. Essa infer encia tem possivel por base o princ pio de que ambos os lados da equa c ao t em que ser do mesmo tipo. E declararmos para uma fun c ao um tipo mais especico do que o tipo inferido autom aticamente. Exemplo: seg :: (Bool,Int) -> Int seg (x,y) = y Se n ao indicarmos o tipo seg::(Bool,Int)->Int qual ser a o tipo de seg ?

Podemos denir uma fun c ao recorrendo a v arias equa c oes, mas todas as equa c oes t em que ser bem tipadas e de tipos coincidentes. Exemplo: f f f f :: (Int,Char,Int) -> Int (y,a,x) = y+x (z,b,x) = z*x (x,y,z) = x

Cada equa c ao e usada como regra de redu c ao (c alculo). Quando uma fun c ao e aplicada a um argumento, a equa c ao que e selecionada como regra de redu c ao e a 1a equa c ao (a contar de cima) cujo padr ao que tem como argumento concorda com o argumento actual (pattern matching ). Note que podem existir v arias equa c oes com padr oes que concordam com o argumento actual. Por isso, a ordem das equa c oes e importante, pois dene uma prioridade na escolha da regra de redu c ao. Tarefa 1 Indique, justicando, o valor das seguintes express oes: i) f (3,a,5) ii) f (9,B,0) iii) f (5,b,4) O que acontece se alterar a ordem das equa c oes que denem f ? 9

Tarefa 2 Considere a seguinte fun c ao: opp :: (Int,(Int,Int)) -> Int opp z = if ((fst z) == 1) then (fst (snd z)) + (snd (snd z)) else if ((fst z) == 2) then (fst (snd z)) - (snd (snd z)) else 0 Dena uma outra vers ao fun c ao opp que tire proveito do mecanismo de pattern matching. Qual das vers oes lhe parece mais leg vel ? Em Haskell e poss vel denir fun c oes com alternativas usando guardas. Uma guarda e uma express ao booleana. Se o seu valor for True a equa c ao correspondente ser a usada na redu c ao (sen ao o interpretador tenta utilizar a equa ca o seguinte). Exemplo: As fun c oes sig1, sig2 e sig3 s ao equivalentes. Note que sig2 e sig3 usam guardas. otherwise e equivalente a True. sig1 x y = if x > y then 1 else if x < y then -1 else 0 sig2 x y | x > y = 1 | x < y = -1 | x == y = 0 sig3 x y | x > y = 1 | x < y = -1 | otherwise = 0 Tarefa 3 1. Dena novas vers oes da fun c ao opp usando deni c oes com guardas. 2. Relembre a fun c ao factorial denida na u ltima cha. Podemos denir a mesma fun c ao declarando as duas cl ausulas que se seguem: fact :: Int -> Int fact 0 = 1 fact n = n * fact (n-1) Esta deni c ao de fact comporta-se bem sobre n umeros naturais, mas se aplicarmos fact a um n umero negativo (o que matem aticamente n ao faz sentido) a fun c ao n ao termina (verique). Use uma guarda na deni c ao de fact para evitar essa situa c ao. O Haskell aceita como padr oes sobre n umeros naturais, express oes da forma: (vari avel + n umero natural). Estes padr ao s o concorda com n umeros n ao inferiores ao n umero natural que est a no padr ao. Por exemplo, o padr ao (x+3) concorda com qualquer inteiro maior ou igual a 3, mas n ao concorda com 1 ou 2. Note ainda que express oes como, por exemplo, (n*5), (x-4) ou (2+n), n ao s ao padr oes. (Porqu e ?) Exemplo: Podemos escrever uma outra vers ao da fun c ao factorial equivalente ` a fun c ao que acabou de denir, do seguinte modo: 10

fact 0 = 1 fact (n+1) = (n+1) * fact n Note como esta fun c ao assim declarada deixa de estar denida para n umeros negativos. Tarefa 4 Considere a deni c ao matem atica dos n umeros de Fibonacci: f ib(0) = 0 f ib(1) = 1 f ib(n) = f ib(n 2) + f ib(n 1) Dena em Haskell a fun c ao de Fibonacci.

se n 2

2.2

Deni c oes Locais

Todas as deni c oes feitas at e aqui podem ser vistas como globais, uma vez que elas s ao vis veis no m odulo do programa aonde est ao. Mas, muitas vezes eu til reduzir o ambito de uma declara c ao. Em Haskell h a duas formas de fazer deni c oes locais : utilizando express oes let...in ou atrav es de cl ausulas where junto da deni c ao equacional de fun c oes. Exemplo: As fun c oes dividir1, dividir2 e dividir3 s ao equivalentes. As declara c oes de q e r s ao apenas vis veis na express ao que est a a seguir a in. As declara c oes de quociente e resto s ao apenas vis veis no lado direito da equa c ao que antecede where. (Teste estas arma c oes.) dividir1 x y = (div x y, mod x y) dividir2 x y = let q = div x y r = x mod y in (q,r) dividir3 x y = (quociente,resto) where quociente = x div y resto = mod x y Tamb em e poss vel fazer declara c oes locais de fun c oes. Tarefa 5 1. Analise e teste a fun c ao exemplo. Nota: mentos que n ao s ao utilizados). exemplo y = let k = 100 g (1,w,z) = g (2,w,z) = g (_,_,_) = in ((f y) + (f where c = 10 (a,b) = (3*c, f 2) f x = x + 7*c e uma vari avel an onima nova ( util para argu-

w+z w-z k a) + (f b) , g (y,k,c))

2. A seguinte fun c ao calcula as raizes reais de um pol n omio a x2 + b x + c. Escreva outras vers oes desta fun c ao (por exemplo: com let...in, sem guardas, ...).

11

raizes :: (Double,Double,Double) -> (Double,Double) raizes (a,b,c) = (r1,r2) where r1 = (-b + r) / (2*a) r2 = (-b - r) / (2*a) d = b^2 - 4*a*c r | d >= 0 = sqrt d | d < 0 = error raizes imaginarias Nota: error e uma fun c ao pr e-denida que permite indicar a mensagem de erro devolvida pelo interpretador. (Qual ser a o seu tipo ?)

2.3

Listas e Padr oes sobre Listas

Como j a vimos o Haskell tem pr e-denido o tipo [a] que e o tipo das listas cujos elementos s ao todos do tipo a. Relembre que a e uma vari avel de tipo que representa um dado tipo (que ainda e uma inc ognita). Na realidade, as listas s ao construidas ` a custa de dois construtores primitivos: a lista vazia, [] :: [a]

o construtor (:) :: a -> [a] -> [a], que e um operador inxo que dado um elemento x de tipo a e uma lista l de tipo [a], constroi uma nova lista, x:l, com x na 1a posi c ao seguida de l. Exemplo: [1,2,3] e uma abreviatura de 1:(2:(3:[])), que e igual a 1:2:3:[] porque (:) e associativa ` a direita. Portanto, as express oes: [1,2,3], 1:[2,3], 1:2:[3] e 1:2:3:[] s ao todas equivalentes. (Teste esta arma c ao no ghci.) Os padr oes do tipo lista s ao express oes envolvendo apenas os seus construtores [] e (:), ou a representa c ao abreviada de listas. Padr oes com o construtor (:) ter ao que estar envolvidos por parentesis. Exemplo: Uma fun c ao que testa se uma lista e vazia pode ser denida por:

vazia [] = True vazia (x:xs) = False Tarefa 6 1. Dena uma vers ao alternativa para a fun c ao vazia. 2. A fun c ao que soma os elementos de uma lista at e` a 3a posi c ao pode ser denida da seguinte forma: soma3 soma3 soma3 soma3 soma3 :: [Integer] -> Integer [] = 0 (x:y:z:t) = x+y+z (x:y:t) = x+y (x:t) = x

Em soma3 a ordem das equa c oes e importante? Porqu e? Ser a que obtemos a mesma fun c ao se alterarmos a ordem das equa c oes? Dena uma fun c ao equivalente a esta usando apenas as fun c oes pr e-denidas take e sum.

12

Tarefa 7 1. Dena a fun c ao transf::[a]->[a] que faz a seguinte transforma c ao: recebe uma lista e, caso essa lista tenha pelo menos 4 elementos, troca o 1o com o 2o elemento, e o u ltimo com o pen ultimo elemento da lista. Caso contr ario, devolve a mesma lista. Por exemplo: transf [1,2,3,4,5,6,7] [2,1,3,4,5,7,6]. ( Sugest ao: as fun c oes pr e-denidas length ou reverse poder ao ser-lhe uteis.) 2. Dena uma fun c ao somaPares24::[(Int,Int)]->(Int,Int) que recebe uma lista de pares de inteiros e calcula a soma do 2o com o 4o par da lista. 3. Estas fun c oes que deniu s ao totais ou parciais ?

2.4

Deni c ao de Fun c oes Recursivas sobre Listas

As listas s ao denidas de uma forma recursiva como: 1. [] (a lista vazia) e uma lista; 2. Se x :: a (i.e., x e do tipo a) e t :: [a] (i.e., t e uma lista com elementos do tipo a) ent ao (x:t) :: [a] (i.e., x:t e uma lista com elementos do tipo a). Esta deni c ao conduz a uma estrat egia para denir fun c oes sobre listas. Exemplo: A fun c ao que calcula a soma dos elementos de uma lista pode ser denida como:

soma [] = 0 soma (h:t) = h + (soma t) Exemplo: A fun c ao que calcula o comprimento de uma lista est a pr e-denida no Prelude por: length :: [a] -> Int length [] = 0 length (_:t) = 1 + (length t) Exemplo: Uma fun c ao que recebe uma lista de pontos no plano cartesiano e calcula a dist ancia de cada ponto ` a origem, pode denida por: distancias :: [(Float,Float)] -> [Float] distancias [] = [] distancias ((x,y):xys) = (sqrt (x^2 + y^2)) : (distancias xys) Tarefa 8 Use a estrat egia sugerida acima para denir as seguintes fun c oes. 1. A fun c ao que calcula o produto de todos os elementos de uma lista de n umeros. 2. A fun c ao que, dada uma lista e um elemento, o coloca no m da lista. 3. A fun c ao que, dadas duas listas as concatena, i.e., calcula uma lista com os elementos da primeira lista seguidos dos da segunda lista. (Sugest ao: analise o que acontece para ambos os casos da primeira lista.) Para denirmos uma fun c ao que calcula a m edia dos elementos de uma lista de n umeros podemos calcular a soma dos seus elementos e o comprimento da lista retornando depois o quociente entre estes dois valores. (Nota: a fun c ao fromIntegral, pr e-denida, e aqui usada para fazer a convers ao de um valor inteiro para real.) media1 l = let s = sum l c = length l in s / (fromIntegral c) Esta solu c ao corresponde a percorrer a lista 2 vezes. 13

Tarefa 9 1. Dena uma fun c ao que, dada uma lista, calcula um par contendo o comprimento da lista e a soma dos seus elementos, percorrendo a lista uma u nica vez. 2. Usando a fun c ao anterior dena uma fun c ao que calcula a m edia dos elementos de uma lista. H a no entanto fun c oes em que e mais dif cil evitar estas m ultiplas travessias da lista. Tarefa 10 1. Dena uma fun c ao que, dada uma lista, a divida em duas (retornando um par de listas) com o mesmo n umero de elementos (isto, e claro, se a lista original tiver um n umero par de elementos; no outro caso uma das listas ter a mais um elemento). 2. Dena uma fun c ao que, dada uma lista e um valor, retorne um par de listas em que a primeira contem todos os elementos da lista inferiores a esse valor e a segunda lista contem todos os outros elementos. 3. Dena uma fun c ao que, dada uma lista de n umeros, retorne a lista com os elementos que s ao superiores ` a m edia.

2.5

Tipos Sin onimos

Existe em Haskell a possibilidade de denir abreviaturas para tipos. Por exemplo, o tipo String est a pr e-denido como uma abreviatura para o tipo [Char], atrav es da declara c ao type String = [Char] Exemplo: Considere que queremos denir fun c oes de manipula c ao de uma lista telef onica. Para isso resolvemos que a informa c ao de cada entrada na lista telef onica conter a o nome, no de telefone e endere co de e-mail. Podemos ent ao fazer as seguintes deni c oes: type Entrada = (String, String, String) type LTelef = [Entrada] A fun c ao que calcula os endere cos de email conhecidos pode ser denida como emails :: LTelef -> [String] emails [] = [] emails ((_,_,em):t) = em : (emails t) Note que, uma vez que o tipo String e por sua vez uma abreviatura de [Char], o tipo da fun c ao emails acima e equivalente a emails :: Tarefa 11 1. Construa um m odulo com as deni c oes apresentadas acima e verique (usando o comando :t) o tipo da fun c ao emails. 2. Dena uma fun c ao que, dada uma lista telef onica, produza a lista dos endere cos de email das entradas cujos n umeros de telefone s ao da rede xa (prexo 2). N ao se esque ca de explicitar o tipo desta fun c ao. 3. Dena uma fun c ao que dada uma lista telef onica e um nome, devolva o par com o no de telefone e o endere co de e-mail associado a esse nome, na lista telef onica. ([([Char],[Char],[Char])] -> [[Char]]

14

Ficha Pr atica 3

Nesta aula pretende-se por um lado trabalhar sobre padr oes de fun c oes recursivas sobre listas (mapeamento, ltragem, e folding ), e por outro utilizar fun c oes de ordem superior (map, filter e foldr) para denir de forma mais expedita essas mesmas fun c oes. Finalmente, trabalhar-se- a sobre a deni c ao de outras fun c oes de ordem superior.

3.1

Fun c oes de Mapeamento, Filtragem, e Folding sobre Listas

Certas fun c oes recursivas sobre listas seguem padr oes r gidos, o que permite classic a-las nas seguintes tr es categorias: 1. Mapeamento : aplicam a todos os elementos da lista argumento uma mesma fun c ao, obtendose como resultado uma lista com a mesma dimens ao. Por exemplo: dobros :: [Int] -> [Int] dobros [] = [] dobros (x:xs) = (2*x):(dobros xs) impares :: [Int] -> [Bool] impares [] = [] impares (x:xs) = (odd x):(impares xs) 2. Filtragem : calculam como resultado uma sub-sequ encia da lista argumento, contendo (pela mesma ordem) apenas os elementos que satisfazem um determinado crit erio. Por exemplo: umaouduasletras :: [String] -> [String] umaouduasletras [] = [] umaouduasletras (x:xs) | (length x)<= 2 = x:(umaouduasletras xs) | otherwise = umaouduasletras xs filtra_impares :: [Int] -> [Bool] filtra_impares [] = [] filtra_impares (x:xs) | odd x = x:(filtra_impares xs) | otherwise = filtra_impares xs 3. Folding : Combinam atrav es de uma opera c ao bin aria todos os elementos da lista. Mais exactamente, iteram uma opera c ao bin aria sobre uma lista, o que corresponde ` as bem conhecidas opera c oes matem aticas de somat orio ou produt orio sobre conjuntos. Para a lista vazia resulta um qualquer valor constante (tipicamente o elemento neutro da opera c ao bin aria, mas pode ser outro qualquer valor). Exemplos: somaLista :: [Int] -> Int somaLista [] = 0 somaLista (x:xs) = x+(somaLista xs) multLista :: [Int] -> Int multLista [] = 1 multLista (x:xs) = x*(multLista xs)

15

Tarefa 1 Dena as seguintes tr es novas fun c oes, e diga se correspondem a algum dos padr oes acima referidos. 1. Fun c ao paresord que recebe uma lista de pares de n umeros e devolve apenas os pares em que a primeira componente e inferior ` a segunda. 2. Func c ao myconcat que recebe uma lista de strings e as junta (concatena) numa u nica string. 3. Fun c ao maximos que recebe uma lista de pares de n umeros (de tipo float) e calcula uma lista contendo em cada posi c ao o maior elemento de cada par.

3.2

As Fun c oes map e filter

Para possibilitar a deni c ao f acil de fun c oes que seguem os padr oes anteriormente mencionados, e poss vel captar-se esses padr oes em fun c oes recursivas mais abstractas. Para o caso do mapeamento e da ltragem, temos as duas seguintes fun c oes (pr e-denidas): map :: (a -> b) -> [a] -> [b] map f [] = [] map f (x:xs) = (f x) : (map f xs) filter :: (a -> filter p [] filter p (x:xs) | p x | otherwise Bool) -> [a] -> [a] = [] = x:(filter p xs) = filter p xs

Observe-se que estas fun c oes, ditas de ordem superior, recebem como argumento uma outra fun c ao, que especica, no caso de map, qual a opera c ao a aplicar a cada elemento da lista, e no caso de filter, qual o crit erio de ltragem (dado por uma fun c ao de teste, ou predicado ). Assim, (map f l) aplica a fun c ao f a todos os elementos da lista l. Observe a concord ancia de tipos entre os elementos da lista l e o dominio da fun c ao f. (filter p l) seleciona/ltra da lista l os elementos que satisfazem o predicado p. Observe a concord ancia de tipos entre os elementos da lista l e o dom nio do predicado p. A utiliza c ao destas fun c oes permite a deni c ao de fun c oes implicitamente recursivas. Por exemplo, uma nova vers ao da fun c ao dobros pode ser denida como: dobros l = map (2*) l ou de forma ainda mais simples, dobros = map (2*). Tarefa 2 Avalie cada uma das seguintes express oes 1. map odd [1,2,3,4,5] 2. filter odd [1,2,3,4,5] 3. map (\x-> div x 3) [5,6,23,3] 4. filter (\y-> (mod y 3 == 0)) [5,6,23,3] 5. filter (7<) [1,3..15]

16

6. map (7:) [[2,3],[1,5,3]] 7. map (:[]) [1..5] 8. map succ (filter odd [1..20]) 9. filter odd (map succ [1..20]) Tarefa 3 Dena novas vers oes de todas as fun c oes de mapeamento e ltragem denidas na sec c ao anterior, utilizando para isso as fun c oes de ordem superior acima referidas. Tarefa 4 Considere a fun c ao seguinte indicativo :: String -> [String] -> [String] indicativo ind telefs = filter (concorda ind) telefs where concorda :: String -> String -> Bool concorda [] _ = True concorda (x:xs) (y:ys) = (x==y) && (concorda xs ys) concorda (x:xs) [] = False que recebe uma lista de algarismos com um indicativo, uma lista de listas de algarismos representando n umeros de telefone, e seleciona os n umeros que come cam com o indicativo dado. Por exemplo: indicativo "253" ["253116787","213448023","253119905"] devolve ["253116787","253119905"]. Redena esta fun c ao com recursividade expl cita, isto e, evitando a utiliza c ao de filter. Tarefa 5 Considere a fun c ao seguinte abrev :: [String] -> [String] abrev lnoms = map conv lnoms where conv :: String -> String conv nom = let ns = (words nom) in if (length ns) > 1 then (head (head ns)):(". " ++ (last ns)) else nom que converte uma lista de nomes numa lista de abreviaturas desses nomes, da seguinte forma: [Jo ao Carlos Mendes, Ana Carla Oliveira] em [J. Mendes, A. Oliveira]. Dena agora esta fun c ao com recursividade expl cita, isto e, evitando a utiliza c ao de map.

3.3

A Fun c ao foldr

A fun c ao foldr, tal como map e filter, permite escrever de forma expedita, sem recursividade expl cita, um grande conjunto de fun c oes (incluindo as pr oprias fun c oes map e filter). O funcionamento desta fun c ao pode ser facilmente compreendido se se considerar que os constructores (:) e [] s ao simplesmente substitu dos pelos dois par ametros de foldr. Por exemplo, recordando que [1,2,3] == 1:(2:(3:[])), tem-se que

17

foldr (+) 0 [1,2,3] => 1+(2+(3+0)) foldr (*) 1 [1,2,3] => 1*(2*(3*1)) Isto permite denir: somaLista l = foldr (+) 0 l multLista l = foldr (*) 1 l Tarefa 6 Investigue o tipo e funcionamento de cada uma das seguintes fun c oes do Haskell: concat and or Escreva deni c oes destas fun c oes usando foldr. Tarefa 7 Considere a seguinte deni c ao de uma fun c ao que separa uma lista em duas partes de comprimento id entico: separa [] = ([],[]) separa (h:t) = (h:r,l) where (l,r) = separa t Escreva uma nova deni c ao desta fun c ao recorrendo a foldr.

3.4

Outras Fun c oes

Na resolu c ao das tarefas 8 e 9 utilize, sempre que lhe pare ca natural, as fun c oes map, filter, e foldr. Tarefa 8 Pretende-se guardar a informa c ao sobre os resultados dos jogos de uma jornada de um campeonato de futebol na seguinte estrutura de dados: type type type type Jornada = [Jogo] Jogo = ((Equipa,Golos),(Equipa,Golos)) Equipa = String Golos = Int

Dena as seguintes fun c oes: 1. igualj :: Jornada -> Bool que verica se nenhuma equipa joga com ela pr opria. 2. semrepet :: Jornada -> Bool que verica se nenhuma equipa joga mais do que um jogo. 3. equipas :: Jornada -> [Equipa] que d a a lista das equipas que participam na jornada. 4. empates :: Jornada -> [(Equipa,Equipa)] que d a a listas dos pares de equipas que empataram na jornada. 18

5.

pontos :: Jornada -> [(Equipa,Int)] que calcula os pontos que cada equipa obteve na jornada (venceu - 3 pontos; perdeu - 0 pontos; empatou - 1 ponto)

Tarefa 9 Uma forma de representar polin omios de uma vari avel e usar listas de pares (coeciente, expoente) type Pol = [(Float,Int)] Note que o polin omio pode n ao estar simplicado. Por exemplo, [(3.4,3), (2.0,4), (1.5,3), (7.1,5)] :: Pol

representa o polin omio 3.4 x3 + 2 x4 + 1.5 x3 + 7.1 x5 . 1. Dena uma fun c ao para ordenar um polin omio por ordem crescente de grau. 2. Dena uma fun c ao para normalizar um polin omio. 3. Dena uma fun c ao para somar dois polin omios nesta representa c ao. 4. Dena a fun c ao de c alculo do valor de um polin omio num ponto. 5. Dena uma fun c ao que dado um polin omio, calcule o seu grau. 6. Dena uma fun c ao que calcule a derivada de um polin omio. 7. Dena uma fun c ao que calcule o produto de dois polin omios. 8. Ser a que podemos ter nesta representa c ao de polin omios, mon omios com expoente negativo ? As fun c oes que deniu contemplam estes casos ? Tarefa 10 Considere as duas seguintes fun c oes: merge :: (Ord a) => [a] -> [a] -> [a] insert :: (Ord a) => a -> [a] -> [a] A primeira efectua a fus ao de duas listas ordenadas de forma crescente; a segunda insere um elemento numa lista ordenada de forma crescente: merge [1,4] [2,3] => [1,2,3,4] insert "bb" ["aa","cc"] => ["aa","bb","cc"] Uma deni c ao poss vel de insert e insert x [] = [x] insert x (h:t) | (x<=h) = x:h:t | otherwise = h:(insert x t) 1. Escreva a fun c ao merge utilizando foldr e insert. 2. Relembre o algoritmo de ordena c ao insertion sort, implementado em Haskell por uma fun c ao: isort :: (Ord a) => [a] -> [a] Reescreva esta fun c ao utilizando foldr.

19

20

Ficha Pr atica 4

Nesta cha pretende-se trabalhar com tipos de dados indutivos. Em particular utilizar-se- a o tipo Maybe a, e tipos denidos pelo utilizador com mais do que um construtor. Finalmente trabalharse- a com tipos recursivos denidos pelo utilizador. Os casos de estudo correspondem a ` implementa c ao de tabelas, ou fun c oes nitas, em Haskell, e ainda ` a representa c ao de express oes aritm eticas.

4.1

Implementa c ao de uma Tabela por uma Lista

Considere que se representa informa ca o relativa ` a avalia c ao dos alunos inscritos numa disciplina, que tem no seu sistema de avalia c ao uma componente te orica e uma componente pr atica, pelos seguintes tipos de dados. Observe-se que cada estudante pode ter ou n ao j a obtido nota numa das componentes da disciplina (te orica ou pr atica), o que se representa recorrendo a tipos Maybe. type type type type Nome = String Numero = Int NT = Maybe Float NP = Maybe Float

data Regime = Ordinario | TrabEstud deriving (Show, Eq) type Aluno = (Numero, Nome, Regime, NT, NP) type Turma = [Aluno] Tarefa 1 Dena as seguintes fun c oes: 1. pesquisaAluno :: Numero -> Turma -> Maybe Aluno que efectua a pesquisa de um(a) aluno(a) pelo seu n umero de estudante. Observe que este e um identicador apropriado, uma vez que todos os alunos t em n umeros diferentes. 2. alteraNP :: Numero -> NP -> Turma -> Turma e alteraNT :: Numero -> NT -> Turma -> Turma, que permitem alterar as notas pr atica e te orica de um(a) estudante numa turma. 3. notaFinal :: Numero -> Turma -> Maybe Float que calcula a nota nal de um aluno segundo a f ormula N F = 0.6N T + 0.4N P . Note que s o e poss vel calcular esta nota caso o n umero fornecido exista na turma, e ambas as componente NT e NP atinjam a nota m nima de 9.5 valores. 4. trabs :: Turma -> Turma que ltra os alunos trabalhadores-estudantes apenas.

5. aprovados :: Turma -> [(Nome, Float)] que apresenta as notas de todos os alunos aprovados, i.e. com nota nal superior ou igual a 10 valores. Tarefa 2 A pesquisa nesta tabela torna-se mais eciente se se mantiver a informa c ao ordenada. Sendo a chave de pesquisa o n umero de aluno, a informa c ao dever-se- a manter ordenada segundo estre crit erio. 1. Escreva uma fun c ao de inser c ao ordenada de novos alunos numa turma, insere :: Aluno -> Turma -> Turma. 21

2. Redena a fun c ao de pesquisa da tarefa anterior, tendo em conta que a tabela e representada por uma lista ordenada. Tarefa 3 Pretende-se agora distinguir os alunos que frequentam a disciplina pela primeira vez dos restantes alunos. Estes u ltimos poder ao ter uma nota pr atica congelada, obtida no ano lectivo anterior, mas poder ao optar por ser de novo avaliados na componente pr atica no ano actual, devendo ser guardadas ambas as notas. A nota pr atica nal ser a a melhor das duas. Utiliza-se para isto o seguinte tipo de dados denido pelo utilizador, com dois construtores: data Aluno = Primeira (Numero, Nome, Regime, NT, NP) | Repetente (Numero, Nome, Regime, NT, NP, NP) deriving Show Reescreva todas as fun c oes das tarefas anteriores tendo em conta esta altera c ao no tipo Aluno.

4.2

Implementa c ao de uma Tabela por uma Arvore Bin aria de Pesquisa

Relembre que estas arvores se caracterizam pela seguinte propriedade (invariante de ordem): o conte udo de qualquer n o situado ` a esquerda de um n oX e necessariamente menor do que o conte udo de X, que por sua vez e necessariamente menor do que o conte udo de qualquer n o situado ` a sua direita. Admitindo-se a ocorr encia de elementos iguais, uma destas restri c oes e relaxada para menor ou igual. Considere agora a seguinte deni c ao de um tipo de dados polim orco para arvores bin arias: data BTree a = Empty | Node a (BTree a) (BTree a) deriving Show Para se utilizar uma arvore bin aria para implementar uma tabela de alunos, basta redenir: type Turma = BTree Aluno Tarefa 4 Escreva as seguintes fun c oes, cujo signicado e o mesmo considerado na sec c ao anterior desta cha: 1. insere :: Aluno -> Turma -> Turma Numero -> Turma -> Maybe Aluno

2. pesquisaAluno :: 3. alteraNP :: alteraNT :: 4. notaFinal ::

Numero -> NP -> Turma -> Turma e Numero -> NT -> Turma -> Turma Numero -> Turma -> Maybe Float

5. trabs :: Turma -> [Aluno] (note que os alunos trabalhadores-estudantes s ao aqui apresentados numa lista) 6. aprovados :: Turma -> [(Nome, Float)]

4.3

Arvores de Express ao

Considere os seguintes tipos de dados utilizados para a representa c ao de express oes aritm eticas por arvores bin arias: data OP = SOMA | SUB | PROD | DIV deriving (Show, Eq) data Expr = Folha Int | Nodo OP Expr Expr deriving (Show, Eq) 22

Tarefa 5 1. Escreva uma fun c ao aplica que aplica um operador bin ario a dois argumentos inteiros: aplica :: OP -> Int -> Int -> Int 2. Escreva uma fun c ao avalia que procede ao c alculo do valor de uma express ao: avalia :: Expr -> Int 3. Escreva nalmente uma fun c ao imprime que produz uma string com a representa c ao usual de uma express ao representada por uma arvore: imprime :: Expr -> String

23

24

Ficha Pr atica 5

Nesta cha pretende-se que os alunos: consolidem os conceitos de classe, inst ancia de classe e de tipo qualicado ; explorem algumas das classes pr e-denidas mais usadas do Haskell (por exemplo: Eq, Ord, Num, Show, Enum, ...) e denam novas classes.

5.1

Classes, Inst ancias de Classes e Tipos Qualicados

As classes em Haskell permitem classicar tipos. Mais precisamente, uma classe estabelece um conjunto de assinaturas de fun c oes (os m etodos da classe) cujos tipos que s ao inst ancia dessa classe devem ter denidas. poss E vel que uma classe j a forne ca algumas fun c oes denidas por omiss ao. Caso uma fun c ao n ao seja denida explicitamente numa declara c ao de inst ancia, o sistema assume a deni c ao por omiss ao establecida na classe. Se existir uma nova deni c ao do m etodo na declara c ao de inst ancia, ser a essa deni c ao a ser usada. Para saber informa c ao sobre uma determinada classe pode usar o comando do interpretador e-denidas ghci :i nome da classe . Em anexo apresenta-se um resumo de algumas das classes pr mais utilizadas do Haskell. Tarefa 1 Verique qual e o tipo inferido pelo ghci (o tipo principal), para cada uma das seguintes fun c oes (pr e-denidas): elem, sum e minimum. Justique o tipo da fun c ao, com base no que dever a ser a sua deni c ao. Tarefa 2 Considere as seguintes declara c oes de tipo usadas para representar as horas de um dia nos formatos usuais. data Part = AM | PM deriving (Eq, Show) data TIME = Local Int Int Part | Total Int Int 1. Dena algumas constantes do tipo TIME. 2. Dena a fun c ao totalMinutos :: hora. TIME -> Int que conta o total de minutos de uma dada

3. Dena TIME como inst ancia da classe Eq de forma a que a iguladade entre horas seja independente do formato em que hora est a guardada. 4. Dena TIME como inst ancia da classe Ord. 5. Dena TIME como inst ancia da classe Show, de modo a que a apresenta c ao dos termos (Local 10 35 AM), (Local 4 20 PM) e (Total 17 30) seja respectivamente: 10:35 am, 4:20 pm e 17h30m. 6. Dena a fun c ao seleciona :: TIME -> [(TIME,String)] -> [(TIME,String)] que recebe uma hora e uma lista de hor arios de cinema, e seleciona os lmes que come cam depois de uma dada hora. 7. Declare TIME como inst ancia da classe Enum, de forma a que succ avance o rel ogio 1 minuto e pred recue o rel ogio 1 minuto. Assuma que o sucessor de 11:59 pm e 00:00 am. Depois, fa ca o interpretador calcular o valor das seguintes express oes: [(Total 10 30)..(Total 10 35)] e [(Total 10 30),(Local 10 35 AM)..(Total 15 20)]. 25

Tarefa 3 Considere as declara c oes da classe FigFechada e da fun c ao fun a seguir apresentadas class FigFechada a where area :: a -> Float perimetro :: a -> Float fun figs = filter (\fig -> (area fig) > 100) figs 1. Indique, justicado, qual e o tipo inferido pelo interpretador Haskell para a fun c ao fun. 2. No plano cartesiano um rect angulo com os lados paralelos aos eixos pode ser univocamente determinado pelas coordenadas do v ertice inferior esquerdo e pelos comprimentos dos lados, ou por uma diagonal dada por dois pontos. Assim, para representar esta gura geom etrica, deniu-se em Haskell o seguinte tipo de dados: type Ponto = (Float,Float) type Lado = Float data Rectangulo = PP Ponto Ponto | PLL Ponto Lado Lado Declare Rectangulo como inst ancia da classe FigFechada. 3. Dena a fun c ao somaAreas :: [Rectangulo] -> Float que calcula o somat orio de uma lista de rect angulos. (De prefer encia, utilize fun c oes de ordem superior.)

5.2

Algumas das classes pr e-denidas do Haskell

A classe Eq
class Eq a where (==) :: a -> a -> Bool (/=) :: a -> a -> Bool -- Minimal complete definition: (==) or (/=) x == y = not (x /= y) x /= y = not (x == y)

A classe Ord
data Ordering = LT | EQ | GT deriving (Eq, Ord, Ix, Enum, Read, Show, Bounded) class (Eq a) => Ord a where compare :: a -> a -> Ordering (<), (<=), (>=), (>) :: a -> a -> Bool max, min :: a -> a -> a -- Minimal complete definition: (<=) or compare -- using compare can be more efficient for complex types compare x y | x==y = EQ | x<=y = LT | otherwise = GT x <= y x < y = compare x y /= GT = compare x y == LT

26

x >= y x > y max x y min x y | | | | x <= y otherwise x <= y otherwise

= compare x y /= LT = compare x y == GT = = = = y x x y

A classe Num
class (Eq a, Show a) => Num a where (+), (-), (*) :: a -> a -> a negate :: a -> a abs, signum :: a -> a fromInteger :: Integer -> a -- Minimal complete definition: All, except negate or (-) x - y = x + negate y negate x = 0 - x

A classe Show
class Show a where show :: a -> String showsPrec :: Int -> a -> ShowS showList :: [a] -> ShowS -- Minimal complete definition: show or showsPrec show x = showsPrec 0 x "" showsPrec _ x s = show x ++ s showList [] = showString "[]" showList (x:xs) = showChar [ . shows x . showl xs where showl [] = showChar ] showl (x:xs) = showChar , . shows x . showl xs

A classe Enum
class Enum a where succ, pred toEnum fromEnum enumFrom enumFromThen enumFromTo enumFromThenTo :: :: :: :: :: :: :: a -> a Int -> a a -> Int a -> [a] a -> a -> [a] a -> a -> [a] a -> a -> a -> [a]

-----

[n..] [n,m..] [n..m] [n,n..m]

-- Minimal complete definition: toEnum, fromEnum succ = toEnum . (1+) . fromEnum pred = toEnum . subtract 1 . fromEnum enumFrom x = map toEnum [ fromEnum x ..] enumFromThen x y = map toEnum [ fromEnum x, fromEnum y ..] enumFromTo x y = map toEnum [ fromEnum x .. fromEnum y ] enumFromThenTo x y z = map toEnum [ fromEnum x, fromEnum y .. fromEnum z ]

27

28

Ficha Pr atica 6

O objectivo desta cha e a escrita de programas que envolvam IO. Concretamente, pretende-se que os alunos construam um programa completo com interface por menus, e manipula c ao de cheiros. O caso de estudo e uma base de dados implementada numa arvore de bin aria de procura. Depois do programa ser codicado, propoem-se que o c odigo seja compilado, criando um programa execut avel. As fun c oes haskell que est ao descritas nesta cha est ao dispon veis no cheiro ficha6.hs.

6.1

Input / Output em Haskell

Quando realizamos uma aplica c ao, necessitamos de executar opera c oes de entrada/saida de dados. Estas opera c oes escapam ` a identica c ao realizada no paradigma funcional de execu c ao de um programa como o c alculo do valor de uma express ao pretende-se antes especicar ac c oes que devem ser realizadas numa dada sequ encia. Como exemplos de opera c oes input/output podemos citar: ler um valor do teclado; escrever uma mensagem no ecr an; ler/escrever um cheiro com dados. Em Haskell, a integra c ao destas opera c oes e realizada por interm edio do monad IO. Podemos entender o monad IO como uma marca que assinala que um valor de um dado tipo foi obtido fazendo uso de opera c oes de entrada/saida. Assim, um valor do tipo IO Int pode ser entendido como um programa que realiza opera c oes entrada/saida e retorna um valor do tipo Int (ver leInt no exemplo apresentado abaixo, onde e retornado um valor inteiro lido do teclado). Ora, esta distin c ao entre valores puros do tipo Int, e os valores obtidos por interm edio de opera c oes entrada/saida (tipo IO Int) coloca um problema evidente: se tivermos uma fun c ao que opere sobre inteiros (por exemplo, a fun c ao fact apresentada abaixo), ela n ao pode ser directamente aplicada a leInt::IO Int. Como podemos ent ao calcular o factorial de um valor introduzido no teclado? A resposta a esta quest ao encontra-se nas opera c oes que caracterizam um Monad (estudadas na te orica) na pr atica, e prefer vel utilizar a nota c ao do disponibilizada pela linguagem Haskell. Chamemos computa c ao ` as express oes cujo calculo envolve opera c oes entrada/saida (i.e. express oes do tipo IO t, qualquer que seja o tipo t). A nota c ao do permite denir uma computa c ao como a sequencia c ao de um conjunto de computa c oes (o valor retornado e o da u ltima). Mas nesta sequ encia vamos poder aceder aos valores que v ao sendo calculados. Mais precisamente: a seta <- permite-nos aceder ao valor retornado pela computa c ao correspondente. No exemplo apresentado abaixo, na linha l<-getLine, temos que getLine::IO String ( e uma fun c ao pr e-denida que l e uma linha do teclado). Assim, l ser a do tipo String e correponder a ao texto introduzido pelo utilizador; a opera c ao return permite-nos embeber um valor numa computa c ao. Ainda no exemplo apresentado, ((read l)::Int) permite ler o inteiro da string l (a opera c ao inversa do show). Assim, return ((read l)::Int) corresponde ` a computa c ao que retorna esse valor. leInt :: IO Int leInt = do putStr "Escreva um n umero: " l <- getLine return ((read l)::Int) fact :: Int -> Int fact 0 = 1 fact n = n * fact (n-1) prog1 :: IO () prog1 = do x <- leInt putStrLn ("o factorial de "++(show x)++" e "++(show (fact x))) 29

Estas declara c oes, bem como as que s ao apresentadas no resto desta cha, est ao dispo veis no cheiro ficha6.hs. Vamos agora retomar o problema (das turmas) apresentado na cha 4, para criar um programa com interface por menus.

6.2

Declara c ao de Tipos

Relembre da cha pr atica 4 o problema de manter numa arvore bin aria de procura a informa c ao sobre os alunos inscritos numa dada disciplina. Nessa cha foram denidos os seguintes tipos de dados (acrescentamos apenas as inst ancias derivadas da classe Read para os tipos de dados Regime e BTree). type type type type Nome = String Numero = Int NT = Maybe Float NP = Maybe Float

data Regime = Ordinario | TrabEstud deriving (Show, Eq, Read) type Aluno = (Numero, Nome, Regime, NT, NP) data BTree a = Empty | Node a (BTree a) (BTree a) deriving (Show, Read) type Turma = BTree Aluno

6.3

Constru c ao de Menus

Vamos agora usar estas declara c oes para construir um programa que mant em a informa c ao acerca dos alunos. Vamos para isso usar o tipo IO x. Elementos deste tipo s ao programas que fazem algum Input/Output (i.e., escrevem coisas no ecran, l eem do teclado, escrevem e l eem cheiros, ...) e que d ao como resultado um elemento do tipo x. O primeiro destes programas vai apenas apresentar (no ecran) uma lista das op c oes poss veis e retornar o valor escolhido pelo utilizador. menu :: IO String menu = do { putStrLn menutxt ; putStr "Opcao: " ; c <- getLine ; return c } where menutxt = unlines ["", "Inserir Aluno ....... "Listar Alunos ....... "Procurar Aluno ...... "", "Sair ................

1", 2", 3", 0"]

Vamos agora usar este programa para escrever um outro que, ap os perguntar qual a op c ao escolhida, invoca a fun c ao correspondente. Note-se que neste caso, como de umas invoca c oes para as outras o estado (i.e., a informa c ao dos alunos) vai mudando, este estado deve ser um par ametro.

30

ciclo :: Turma -> IO () ciclo t = do { op <- menu ; case op of 1:_ -> do { t <- insereAluno t ; ciclo t } 2:_ -> do { listaAlunos t ; ciclo t } 3:_ -> do { procuraAluno t ; ciclo t } 0:_ -> return () otherwise -> do { putStrLn "Opcao invalida" ; ciclo t } } Os programas insereAluno, listaAlunos, procuraAluno n ao s ao mais do que as extens oes para IO das fun c oes de inse c ao, listagem e pesquisa que deniu na cha 5. Por exemplo, para o caso da primeira, insereAluno :: Turma -> IO Turma insereAluno t = do { putStr "\nNumero: "; nu <- getLine; putStr "Nome: "; no <- getLine; putStr "Regime: "; re <- getLine; putStr "Nota Pratica: " ; np <- getLine; putStr "Nota Teorica: "; nt <- getLine; let reg = if re=="TE" then TrabEstud else Ordinario pra = if np=="" then Nothing else Just ((read np)::Float) teo = if nt=="" then Nothing else Just ((read nt)::Float) in return (insere ((read nu),no,reg,pra,teo) t) } Tarefa 1 Dena os programas listaAlunos e procuraAluno. Tarefa 2 1. Acrescente ao menu op c oes para alterar as notas de um aluno, e dena as fun c oes correspondentes. 2. Fa ca agora o importa c ao do m odulo IO e crescente ainda ao seu programa a seguite fun c ao main import IO main = do { hSetBuffering stdout NoBuffering ; ciclo Empty } Note que o programa main arranca com a base de dados vazia (ou seja, a arvore vazia). A primeira linha do main e apenas um comando para for car a visualiza c ao imediata daquilo que e enviado para o ecran. 31

6.4

Manipula c ao de Ficheiros

Para al em de escrever e ler dados no ecran e do teclado, e poss vel consultar e escrever informa c ao em cheiro. A forma mais elementar de aceder a um cheiro e atrav es da leitura e escrita do conte udo do cheiro (visto como uma u nica String). Para isso usam-se as fun c oes readFile e writeFile. Note que, como na deni c ao dos tipos Regime e BTree a optamos por declarar inst ancias derivadas das classes Show e Read, podemos usar as fun c oes show e read para fazer a convers ao entre estes tipos e o tipo String. Por exemplo, para a escrita e a leitura de uma turma podemos escrever os seguintes programas: writeTurma :: Turma -> IO () writeTurma t = do putStr "Nome do ficheiro: " f <- getLine writeFile f (show t) readTurma :: IO Turma readTurma = do putStr "Nome do ficheiro: " f <- getLine s <- readFile f return (read s) Temos agora todos os ingredientes para estender o programa acima dando-lhe a possibilidade de guardar e ler os dados de um cheiro (usando, entre outras as as fun c oes read e show). Tarefa 3 1. Acrescente aos programas menu e ciclo os itens necess arios para estas duas opera c oes. 2. Experimente o programa que acabou de denir. Insira novos alunos numa turma, guarde essa turma em cheiro, verique se o conte udo do cheiro que criou e o esperado. Depois saia do programa, carregue a turma que est a guardada em cheiro, e acrescente interactivamente novos alunos. Guarde a nova turma um outro cheiro e verique o seu conte udo. Por vezes temos que manipular cheiros de uma forma mais elaborada. Tarefa 4 Suponha que os Servi cos Acad emicos formecem informa c ao sobre os alunos inscritos a uma disciplina em cheiros de texto com o seguinte formato: mero regime nome, com um aluno por linha, e em que regime apenas pode ser ORD ou nu TE. Por exemplo, 54321 33333 44111 22233 ORD TE TE ORD Ana Maria Santos Silva Paulo Ferreira Pedro Moura Gomes Tiago Miguel de Sousa

Acrescente ao seu programa, uma fun c ao que permita ler o cheiro dos alunos inscritos e carregue sua base de dados com essa informa c ao (criando uma turma ainda sem notas). Tarefa 5 Pretende-se agora escrever em cheiro a pauta nal da disciplina (para posteriormente se imprimir, por exemplo). Na pauta deve constar o n umero do aluno, o seu nome e a nota nal. A nota nal pode ser um valor inteiro entre 10 e 20, ou Rep, indicando que o aluno est a reprovado. Por exemplo, 32

54321 33333 44111 22233

Ana Maria Santos Silva Paulo Ferreira Pedro Moura Gomes Tiago Miguel de Sousa

15 Rep 17 12

1. Acrescente ao seu programa uma fun c ao que permita gravar pautas em cheiro. 2. Adapte a sua resposta ` a alinea anterior de forma a que a pauta tenha os alunos ordenados por ordem alfab etica.

6.5

Uma vers ao melhorada do programa

Numa arvore bin aria de procura, a pesquisa de informa c ao e particularmente eciente se essa arvore for balanceada (equilibrada). Os algoritmos de inser c ao que estudamos n ao garantem que a arvore de procura que obtemos seja balanceada. No entanto, podemos pelo menos garantir que obtemos uma arvore balaceada no momento em que carregamos a base de dados de cheiro. Para esse m, vamos gravar uma turma em cheiro como uma lista ordenada de alunos e, ao recuperar a turma de cheiro, montamos a turma na base de dados como uma arvore balanceada. Tarefa 6 1. Dena uma fun c ao que permita gravar uma turma num cheiro como uma sequ encia ordenada (por n umero) de alunos. 2. Dena uma fun c ao que dada uma lista ordenada cria uma arvore balanceada com os elementos dessa lista. 3. Dena uma fun c ao que permita ler o cheiro (com a sequ encia de alunos) gerado pela fun c ao da al nea 1, e construa uma arvore de procura balanceada com esses alunos. 4. Acrescente aos programas menu e ciclo os itens necess arios para disponibilizar estas opera c oes de grava c ao para cheiro e carregamento para arvore balanceada. Pretende-se agora enriquecer o programa com nova funcionalidade. Tarefa 7 1. Dena uma fun c ao que permita remover um aluno (dado o seu n umero) de uma turma, e disponibilize no menu a op c ao de remover um aluno da turma. 2. Acrescente ao seu programa qualquer outra funcionalidade que lhe pare ca u til.

6.6

Compila c ao de um programa Haskell

Os programas que temos criado t em sido sempre interpretados com o auxilio do interpretador GHCI. Uma forma alternativa de correr o programa e compilando-o por forma a obter uma cheiro execut avel, que pode ser invocado ao n vel da shell do sistema operativo. Para isso e necess ario utilizar o compilador de Haskell, GHC. Para criar programas execut aveis o compilador Haskell precisa de ter denido um m odulo Main com uma fun c ao main que tem que ser de tipo IO . A fun c ao main e o ponto de entrada no programa, pois e ela que e invocada quando o programa compilado e executado. A compila c ao de um programa Haskell, usando o Glasgow Haskell Compiler, pode ser feita executando na shell do sistema operativo o seguinte comando: avel --make nome do cheiro do m odulo principal ghc -o nome do execut

33

Tarefa 8 1. Compile o programa de forma a disp or de um programa execut avel. (Note que e necess ario que o nome do m odulo onde se encontra denido o programa main se chame Main.) 2. Abra uma shell do sistema operativo e invoque o programa execut avel que foi criado pela compila c ao.

34