A Linguagem Funcional Haskell - Departamento de Informática e ...

tipos principais únicos é a característica mínima dosistema de tipos Hindley-Milner, sendo que esteforma a base do sistema de tipos Haskell, ML,Miranda e a maioria das linguagens funcionais hojeconhecidas.Em comparação com linguagens de tiposmonomórficos como C, o leitor irá notar que opolimorfismo desenvolve expressões, e a inferênciadiminui a carga de tipos sobre os programadores.User-Defined TypesPara definirmos nossos próprios tipos emHaskell usa-se a declaração data, ao qual estetrabalho tenta exemplificar de forma a tornar maiora compreensão do leitor.Um importante tipo que já esta predefinidoem Haskell, é a definição de tipos boleanos, mas sópara exemplificar iremos fazer a sua criaçãotomando como se este não existisse:data Bool = False | TrueO tipo demonstrado acima é Bool e possuiexatamente dois valores: Verdadeiro e Falso. O tipoBool em Haskell possui a denominação de tipoconstrutor, e True e False são chamadosconstrutores de dado, ou só construtores.Podemos assim definir diversos tipos.Similarmente podemos definir o tipo Cor:data Cor = Vermelho | Verde | Azul | VioletaMas se pararmos e prestarmos atenção estasduas definições de tipos são limitadas, ou seja, sãotipos enumerados, pois possuem um número finitode construtores de dado.Abaixo temos um exemplo com um únicoconstrutor de dados.data Point = Pt a aDefinindo o tipo de dado Point nãolimitamos o usuário, pois este poderá definirqualquer tipo de ponto.Um tipo como Point é freqüentementechamado de tuple type, sendo que neste caso este ésó um produto cartesiano (neste caso binário) deoutros tipos. Tipos multi-construtor, como Bool eCor, são chamados (disjunto) união ou tipos soma,em contraste a tipos mono construtor.Mais importante, no entanto, é lembrar quePoint também é um exemplo de tipo polimórfico:para qualquer tipo t, haverá a definição de pontoscartesianos que usam t como o tipo coordenada.Note que o tipo de binário Pt é a → a →Point a, ou seja os tipos abaixo são válidos:Pt 2.0 3.0 :: Point FloatPt ‘a’ ‘b’ :: Point CharPt True False :: Point BoolNão podemos esquecer de ressaltar que algocomo Pt ‘a’ 1 é sem tipo pois ‘a’ e 1 possuem tiposdiferentes sendo assim o próprio sistema de tiposHaskell durante a compilação irá acusar erro.É de extrema importância saber distinguir aaplicação entre construtor de dados para construirum valor e a aplicação de um tipo construtor paraconstruir um tipo. O primeiro formador acontece emtempo de execução e é como nós computamoscoisas em Haskell, já o segundo acontece em tempode compilação e é parte do processo do sistema detipos para assegurar tipos seguros.Existe também a possibilidade deconstruirmos tipos utilizando o mesmo nome para otipo construtor e para o construtor de dados, comovemos a seguir.data Point a = Point a aE já que estamos falando do sistema detipos Haskell não podemos deixar de abranger tipossinônimos, sendo que estes são utilizados paradefinir um mesmo tipo com outro nome, mas nãonovos tipos. Portanto tipos sinônimos criam umnovo tipo a partir de um antigo só que com outronome. Para que possamos criar tipos desta maneirautilizamos a declaração type, como no exemploabaixo.type String = [Char]type Name = StringFunçõesComo toda e qualquer linguagem Haskelloferece funções pré-definidas, mas seu maiorpotencial está destinado ao programador, ou seja, alinguagem oferece muitos recursos a este, quanto acriação de novas funções. Alguns deste recursos jáforam demonstrados no sistema de tipos, agorairemos abordar a parte funcional da linguagem.Não iremos abordar funções oferecidas pelalinguagem, pois nossa intenção não é ensinar aprogramar em Haskell e tão pouco ensinar a utilizarfunções pré-definidas ou oferecidas pela linguagem.Geralmente quando definimos uma funçãoem Haskell utilizamos um "type signature" emprimeiro lugar e na próxima linha iniciamos adeclaração da função, como no exemplo que segue:add :: Int → Int → Int -- type signatureadd x y = x + y -- Corpo da função