Este documento discute o paradigma funcional usando a linguagem Haskell. Apresenta os tipos primitivos de Haskell como Int, Float e Char, e explica o tipo função que mapeia valores de entrada para saída. Demonstra como declarar funções de forma polimórfica para que possam operar em diferentes tipos. A inferência automática de tipos permite que o compilador determine o tipo de uma função sem que seja explicitamente declarado. Por fim, lista exercícios para praticar operações matemáticas e lógicas usando funções em Haskell.

1. Paradigmas de Linguagens de ProgramaçãoProf. Péricles Miranda

2. Paradigma Funcional usando Haskell

3. Linguagem HaskellLinguagemFuncionalPuraImplementações:GHC:Compilador;Utilização similar à compiladores de outraslinguagens.HUGS:Interpretada, facilita a aprendizagem;O programadorforneceaointerpretadorumaexpressão e estemostra o resultadodasuaavaliação.

4. Tipos da Linguagem HaskellTiposPrimitivos (Similares a Java): Int: Inteiro de 32 bits+, -, *, mod, div, ^;Integer: Inteirosemlimitação de tamanhoFloat+, -, *, /, ^; Char

5. ObservaçãoEm Haskell todosostiposcomeçam com letraMAIÚSCULATodososnomesiniciados com letraminúsculassãonomes de funções.

6. Tipo FunçãoUmafunçãocalcula um resultado a partir de um argumento:Porser umalinguagemfuncionalpura, em Haskell o resultadoproduzidoporumafunçãovariaapenasemfunçãovalores dos seusargumentos.Sintaxe:X -> YFunçãoquerecebe um valor do tipo X e produz um valor do tipoYX -> Y -> ZFunçãoquerecebeargumentos dos tipos X e Y e produz um valor do tipo Z.Chamada de função:f xf x y

7. Programa Haskelldois:: Int -- tipodadeclaracaodois = 2 -- valor dadeclaracaof :: Int -> Intf x = x + 1g :: Int -> Int -> Intg x y = x + 2*y

8. DeclaraçãoPolimórficaMotivação:Muitasfunçõesnãodependem de seustiposparaseremdefinidas.Exemplo:-- FuncaosegundovalorsegI :: Int -> Int -> IntsegI x y = ysegF :: Float -> Float -> FloatsegF x y = ysegC :: Char -> Char -> CharsegC x y = yA definiçãodamesmafunçãoparaparadiferentestiposgeramuitaredundância de código.

9. Declaração PolimórficaTipopolimórfico: Tipoquepode ser substituídoporqualqueroutrotipodalinguagem.Representadoporletrasminúsculas.Exemplo:seg :: a -> a -> aseg x y = yO tipopolimórfico “a” podesignificarqualquertipo real nalinguagem.

10. InferênciaAutomática de TiposO programador Haskell não tem de definirostipos de todas as funçõesde um programa.Se elenãoespecificar o tipo de umafunção, o compilador/interpretadortentará “adivinhar” o tipo a partirdaanálise do corpo de declaração.Exemplo:f :: Int -> Intf x = x * 2n x y = (f x) + (f y)Qual a assinaturadafunção ‘n’?

11. VamosPraticar?

12. ExercíciosImplementar operações básicas entre dois números (+, -, /, *);Implementar a média entre 4 números;Implementar programa para dizer se número é par;Implementar programa para dizer se número é ímpar;Implementar programa para encontrar o maior entre 3 números;Implementar programa para encontrar o menor entre 3 números;Para cada exercício acima, mostre o tipo das funções.

13. Paradigmas de Linguagens de ProgramaçãoProf. Péricles Miranda