Upload
brad
View
157
Download
0
Embed Size (px)
DESCRIPTION
Linguagem Haskell. Riocemar S. de Santana . Haskell, o que é? É uma linguagem de programação puramente funcional , de propósito geral. Nomeada em homenagem ao matemático americano Haskell B. Curry (1900–1982 ). - PowerPoint PPT Presentation
Citation preview
Linguagem HaskellRiocemar S. de Santana
Haskell, o que é? É uma linguagem de programação puramente funcional, de
propósito geral. Nomeada em homenagem ao matemático americano Haskell B.
Curry (1900–1982). Concebida para ensino e também para o desenvolvimento de
aplicações reais. Resultado de mais de vinte anos de investigação por uma
comunidade de base acadêmica muito ativa. Implementações abertas e livremente disponíveis. Como uma linguagem funcional, a estrutura de controle primária é
a função.
O que é a programação funcional?
É um paradigma de programação.No paradigma imperativo, um programa é uma
sequência de instruções que mudam células na memória.No paradigma funcional, um programa é um conjunto
de definições de funções que são aplicadas a valores.Podemos programar num estilo funcional em muitas
linguagens.Exemplos: Scheme, ML, O’Caml, Haskell, F#
Programação FuncionalA programação funcional modela um
problema computacional como uma coleção de funções matemáticas, cada uma com um domínio de entrada e um resultado.
As funções interagem e combinam entre si usando composição funcional, condições e recursão.
Linguagem HaskellExemplo
Para somar os números inteiros de 1 a 10 podemos escrever em linguagem C:
int total = 0, i;for (i = 1; i <= 10; i++){
total = total + i;}
O método da computação é baseado em atribuição de valores à variáveis.
Linguagem HaskellExemplo
A soma dos números inteiros de 1 a 10 emlinguagem Haskell pode ser feita como:
>sum[1..10]
O método da computação é baseado em aplicação de argumentos à funções.
WinHugs
WinHugs
Hugs é uma implementação da linguagem Haskell que pode ser executada em PCs e sistemas Unix, incluindo Linux.
Pode ser obtido gratuitamente em http://cvs.haskell.org/Hugs/pages/downloading.htm
WinHugsSuporte para:Microsoft WindowsDebian GNU/Linux Fedora Core (Linux)OpenSUSE (Linux)FreeBSDMac OS X
Haskell – Função
Uma função pode ser representada daseguinte maneira:
A partir dos valores de entrada á obtido ovalor de saída.
Haskell – Função
Funções em Haskell são normalmentedefinidas pelo uso de equações.Por exemplo, a função soma pode ser escrita:
soma x y = x + yChamada da seguinte maneira: >soma 10 20 30
Haskell – Função
A função soma pode ser implementada emum arquivo (bloco de notas) e salvo com aextensão .hs
Haskell – Função
Carregando o arquivo de funções:Hugs>:load ”caminho”
Haskell – Função
Chamando a função soma: Main>soma 10 2
Haskell – FunçãoIncluindo mais funções no arquivo:
incrementa n = n + 1
Haskell – FunçãoFunção que chama uma função:
Hugs Alguns comandos importantes:
Tipos básicos
A linguagem Haskell possui uma disciplina rigorosa de tipos de dados, sendo fortemente tipada. Neste caso, toda função, variável, constante tem apenas um tipo de dado, que sempre pode ser determinado.
Embora fortemente tipada, a linguagem Haskell possui um sistema de dedução automática de tipos para funções cujos tipos não foram definidos.
A partir dos tipos pré-definidos na linguagem Haskell, novos tipos podem ser construídos pelo programador.
Tipos primitivos em Haskell
Para definir que uma expressão E tem o tipo T (E é do tipo T) escreve-se
E ::T-> Saida
Prototipação de tiposExemplos:
-- Função que verifica se um número inteiro é par.par::Int->Bool
par x = if mod x 2 == 0 then True else False
-- Função para converter um valor Fahrenheit em Celsius
converteFC::Float->FloatconverteFC x = (x - 32)/ 1.8
Prototipação de tiposTipo Booleano:
◦ O tipo booleano é representado pela abreviatura Bool epossui os valores: True ou False.
Tipo Inteiro:◦ Os inteiros são referenciados por Int, o domínio matemático
dos inteiros (até 2147483647).
Funções do módulo PreludeO arquivo de biblioteca Prelude.hs oferece um grande número de
funções definidas no padrão da linguagem através do módulo Prelude.
even - verifica se um valor dado é par odd - verifica se um valor dado é impar rem - resto da divisão inteira mod - resto da divisão inteira ceiling - arredondamento para cima floor - arredondamento para baixo round - arredondamento para cima e para baixo truncate - parte inteira do número fromIntegral - converte um inteiro em real sin - seno de ângulo em radianos cos - cosseno tan – tangente
Funções do módulo Prelude(Cont...)
asin - arco senoacos - arco cossenoatan - arco tangente atan - arco tangenteabs - valor absolutosqrt - raiz quadrada, valor positivo apenasexp - exponencial base elog - logaritmo natural (base e)logBase - logaritmo na base dadamin - menor de 2 objetos dadosmax - maior de 2 objetos dados
Listas e Tuplas
A linguagem Haskell nos fornece dois mecanismos para a construção de dados compostos: listas e tuplas.
A lista possibilita a união de vários elementos – todos do mesmo tipo - numa única estrutura.
Numa tupla podemos combinar os componentes de um dado numa única estrutura, e os componentes podem ter tipos e propriedades distintas
ListasFundamento
Uma lista é uma estrutura de dados que representa uma coleção de objetos homogêneos em sequência.
Para alcançar qualquer elemento, todos os anteriores a ele devem ser recuperados.
Em programação, uma lista vazia (representada por [ ] em Haskell) é a estrutura base da existência de uma lista.
ListasFundamento
Uma lista é composta sempre de dois segmentos: cabeça (head) e corpo (tail). A cabeça da lista é sempre o primeiro elemento.
['a','b','c','d']"abcd"> 'a':['b','c','d']"abcd“
ListasOperador (:)
O símbolo (:) é o operador de construção de listas. Toda lista é construída através deste operador. Exemplos:
Hugs> 'a':['b','c','d']"abcd"Hugs> 2:[4,6,8][2,4,6,8]
ListasHugs> 'a':['b','c','d']"abcd"Hugs> 1:[2,3][1,2,3]Hugs> ['a','c','f'] == 'a':['c','f'] TrueHugs> [1,2,3] == 1:2:3:[]TrueHugs> 1:[2,3] == 1:2:[3]TrueHugs> "papel" == 'p':['a','p','e','l']True
Escrevendo Listas
Pode-se definir uma lista indicando os limites inferior e superior de um conjunto conhecido, onde existe uma relação de ordem entre os elementos, no seguinte formato:
[ <limite-inferior> .. <limite-superior> ]> [1..4][1,2,3,4]> ['m'..'n']"mn"> [1,3..6][1,3,5]> ['a','d'..'p']"adgjmp"> [3.1..7][3.1,4.1,5.1,6.1,7.1]
Escrevendo Listas
Podemos definir qualquer progressão aritmética em uma lista utilizando a seguinte notação:
[ <1o. termo>, <2o. termo> .. <limite-superior> ]
> [7,6..3][7,6,5,4,3]> [6,5..0][6,5,4,3,2,1,0]> [-5,2..16][-5,2,9,16]> [5,6..5][5]> [1,1.1 .. 2][1.0,1.1,1.2,1.3,1.4,1.5,1.6,1.7,1.8,1.9,2.0]
Listas por compreensão
A descrição de uma lista pode ser feita em termos dos elementos de uma outra lista. Por exemplo, temos a lista L1 = [2,4,7].
Uma lista definida por compreensão pode ser escrita:
> [ 2 * n | n <- L1 ][4,8,14]
A lista resultante contém todos os elementos da lista L1, multiplicados por 2. Assim, podemos ler: Obtenha todos os 2*n dos elementos n contidos em L1 = [2,4,7].
Listas por compreensão Exemplo:listaQuad = [x^2 | x <- [1..30]]>listaQuad[1,4,9,16,25,36,49,64,81,100,121,144,169,196,225,256,289,324,361,
400,441,484,529,576,625,676,729,784,841,900]
listaQuadInf = [ x^2 | x <- [1..] ]> listaQuadInf[1,4,9,16,25,36,49,64,81,100,121,144,169,196,225,256,289,324,361,
400,441,484,529,576,625,676,729,784,841,900,961,1024,1089,1156,1225,1296,1369,1444,1521,160
0 ...
> elem 4 listaQuadInfTrue
A função elem verifica se um elemento pertence a uma lista. Retorna True ou False
ListasFunções Pré-definidas
ListasFunções Pré-definidas
ListasFunções Pré-definidas
ListasFunções Pré-definidas
Fim.
Referências◦ http://www-usr.inf.ufsm.br/~juvizzotto/elc117-2010b/◦ http://pt.wikipedia.org◦ http://www2.fct.unesp.br/docentes/dmec/olivete/lp/arquivos/Aul
a14.pdf