Visão Geral

Curso Haskell Programming, Haskell é uma linguagem de programação projetada para trabalhar com dados complexos. Haskell é usado na indústria, na criptomoeda ada cardando para desenvolver os contratos inteligentes da cardando, (os contratos PLUTUS são atualmente escritos na liguagem de programação "Haskell"), tanto para construir protótipos rápidos quanto para implantação real. Este curso de treinamento de programação Haskell foi desenvolvido para fornecer conhecimento da linguagem de programação Haskell com ênfase particular em programação funcional.

Os os participantes obterão um conhecimento profundo de programação funcional e também aprenderão a trabalhar com dados de lista e JSON. Os participantes se familiarizarão com o processamento de arquivos, expressões regulares e correspondência de nomes de arquivos. Ao concluir este curso, os participantes estarão aptos a trabalhar com Parsec e bancos de dados.

Publico Alvo

Qualquer pessoa que deseje adquirir conhecimentos básicos de Haskell e programação funcional pode participar deste curso.

Materiais

Conteúdo Programatico

Introduction to Haskell

1. Haskell Environment
2. Overview of ghci, the Interpreter
3. Using ghci as a Calculator
4. Command-Line Editing in ghci
5. Lists, Strings and Characters

Types and Functions

1. Haskell’s Type System
2. Common Basic Types
3. Function Application
4. Composite Data Types
5. Function Types and Purity
6. Polymorphism in Haskell

Defining New Data Types and Streamlining Functions

1. Naming Types and Values
2. Algebraic Data Types
3. Pattern Matching
4. Record Syntax
5. Parameterised and Recursive Types
6. Local Variables

Functional Programming

1. Infix Functions
2. Working with Lists
3. Overview of Loops
4. Lambda Functions
5. Partial Function Application and Currying
6. Space Leaks and Strict Evaluation
7. Working with JSON Data
8. Overview of Typeclasses
9. Input and Output
10. Regular Expressions and Filename Matching
11. Testing and Quality Assurance
12. Barcode Recognition
13. Data Structures and Monads
14. Working with Parsec
15. Error Handling
16. Error Handling with Data Types
17. Exceptions
18. Error Handling in Monads
19. Haskell System Programming
20. Working with Databases