Haskell (eBook)

Uma introdução à programação funcional

Alexandre Garcia de Oliveira (Autor)

eBook Download: EPUB

2017
160 Seiten
Casa do Código (Verlag)
978-85-5519-274-6 (ISBN)

Infos

A programação funcional é um paradigma de programação que trata de aplicação de funções matemáticas, evitando alteração de estado e mutabilidade de dados. Uma de suas características é o estilo de estrutura declarativa que se opõe ao estilo imperativo. Muitas linguagens que suportam apenas o paradigma funcional estão crescendo no mercado, dentre as quais Haskell se destaca por ser pura e ser estaticamente tipada, seguindo o conceito de laziness.

Neste livro, Alexandre Oliveira apresenta a linguagem Haskell, desde sua instalação até conceitos mais complexos como lambda, currying e mônadas. Com um modelo mental novo e uma caixa de ferramentas de programação extremamente moderna, essa linguagem pura e funcional nos dá insights valiosos para a construção de aplicações. Haskell é muito usado para a pesquisa em linguagens de programação e tem um dos sistemas de tipos mais avançados disponíveis. A promessa é a de entregar programas sólidos mais rápido ao mercado, trazendo novas formas de se escrever código correto, eficiente e fácil de manter.

Autor

O autor é formado Técnologo em Processamento de Dados na Faculdade de Tecnologia da Baixada Santista Rubens Lara (FATEC-RL) em 2004, e Bacharel em Matemática pelo Instituto de Matemática e Estatística da Universidade de São Paulo em 2012, onde também se formou Mestre em Matemática Aplicada em 2015. Leciona há 7 anos no Centro Estadual de Educação Tecnológica Paula Souza (CEETEPS), sendo há 5 anos pelas Fatecs, onde passou pelos campos de Santos, Praia Grande e São Caetano do Sul. Programa em Haskell há cerca de 4 anos e conheceu a linguagem através de um TCC orientado na Fatec de São Caetano. Ele também é apaixonado pelo Santos Futebol Clube, Álgebra, Final Fantasy 7, viagens de navio e algumas séries e animes.

Inhalt

1 Programação funcional
1.1 Linguagem Haskell
1.2 Haskell na web
1.3 Conclusão
2 Primeiros exemplos
2.1 Primeiro contato com os tipos de dados e funções
2.2 Operação com listas
2.3 Compreensão de listas
2.4 Tuplas
2.5 Exercícios
2.6 Conclusão
3 Declarando novos tipos de dados
3.1 Pattern matching
3.2 Campos de um construtor
3.3 Record syntax
3.4 Miniprojeto: RH de uma empresa de TI
3.5 Exercícios
3.6 Conclusão
4 Um pouco mais sobre funções
4.1 Lambdas
4.2 Funções de alta ordem
4.3 Currying
4.4 Exemplos de funções de alta ordem
4.5 Sintaxe em funções
4.6 Recursão
4.7 Miniprojeto: RH de uma empresa de TI
4.8 Exercícios
4.9 Conclusão
5 Polimorfismo paramétrico
5.1 Tipos com parâmetros
5.2 Restrição de tipos em funções
5.3 Classes de tipos
5.4 Outras classes
5.5 Monoides
5.6 Miniprojeto: trabalhando com parsers
5.7 Exercícios
5.8 Conclusão
6 Teoria das Categorias
6.1 Categorias
6.2 Noção matemática de funtor
6.3 Função identidade em Haskell
6.4 Conclusão
7 Funtores
7.1 Funtor Maybe
7.2 Criando seu funtor
7.3 Funtores Aplicativos
7.4 Funtores Contravariantes
7.5 Miniprojeto: continuação usando funtores
7.6 Exercícios
7.7 Conclusão
8 Mônadas
8.1 Transformações naturais
8.2 Definição
8.3 Notação DO
8.4 A mônada []
8.5 Exercícios
8.6 Conclusão
9 Mônada IO
9.1 Compilando um programa "Olá Mundo"
9.2 Exemplos práticos
9.3 Manipulando arquivos
9.4 Miniprojeto final
9.5 Exercícios
9.6 Conclusão
10 Apêndice
11 Referências

Produkt-Details

• Erscheint lt. Verlag: 12.5.2017
• Verlagsort: São Paulo
• Sprache: portugiesisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
• Schlagworte: Currying • estilo imperativo • estrutura declarativa • lambda • Laziness • mônadas • paradigma de programação • paradigma funcional • programação funcional
• ISBN-10: 85-5519-274-9 / 8555192749
• ISBN-13: 978-85-5519-274-6 / 9788555192746