Grupo de estudos sobre Haskell da Webschool
- Introdução
- O que é Programação Funcional?
- Entonces, (WTF is Haskell), o que é Haskell?
- A Preguiça do Haskell!
- Haskell... Estati “O que”?... Estaticamente Tipado.
- Inferência de Tipo.
- Elegante e Conciso.
- Feito por Caras Realmente Inteligente (Cabuloso).
- Bora nessa?!... É Claro Que Sim Jovem Guerreiro!
- Instalando Haskell.
Não é somente uma Programação que FUNCIONA...
A programação funcional baseia-se no conceito matemático de função, na qual para cada elemento de seu conjunto domínio (entrada) há apenas UM elemento no seu conjunto contra-domínio (saída), evitando estados/variáveis ou dados mutáveis.
Haskell é uma linguagem de programação puramente funcional. Em CONTRASTE com a Programação Imperativa, em que segue uma sequência computacional de tarefas sendo executadas e durante o processo possam mudar de ESTADO.
Em linguagens funcionais como Haskell, não se diz para o computador o que fazer, e em vez disso, é dizer em qual coisa está. A soma de uma lista de números é o primeiro mais a soma de todos os outros números, expressando em forma de funções, por exemplo, soma n = soma(n-1) + n .
Não se pode definir uma variável sendo como algo e logo depois defini-lá como outra, ou seja, se for dito que algo é 7, esse algo É 7 e ponto final(.)!
Então, em linguagens puramente funcionais (Devs chamando: -Haskell, Haskell, Haskell...), uma função não tem efeitos colaterais, e a ÚNICA coisa a ser feita com uma função é calcular um TREM e devolvê-lo como um RESULTADO. Com isso temos a seguinte vantagem, se a função é chamada 2 vezes com os mesmos parâmetros, vai garantir o retorno de um mesmo RESULTADO.
Isso se chama (tambores...drum...drum...drum…) TRANSPARÊNCIA REFERENCIAL, isso não somente permite que o compilador (no caso do Haskell é o GHC) raciocine sobre o comportamento do programa, permitindo a fácil dedução (esfregando na cara) que uma função está correta, e em seguida, construir funções mais complexas ‘colando’ diversas funções simples em conjunto.
Isso significa que a menos que seja especificamente dito de outra forma, Haskell não irá (mover um dedo) executar funções e calcular as coisas antes que ele seja REALMENTE OBRIGADO a mostrar um RESULTADO.
Isto casa muy bien (como beck e ceva) com a transparência referencial permitindo pensar em programas como uma série de TRANSFORMAÇÕES NOS DADOS. Permitindo umas parada massa como ESTRUTURAS DE DADOS INFINITAS.
Em uma linguagem preguiçosa, podemos ter alguns dados iniciais e eficimentemente transformá-los, assim assemelhando com aquilo que queremos no final.
Ao compilar o programa, o compilador saberá o que é um número, o que é uma string, e a vida que segue.
Isso permite que possíveis erros possam ser capturados em tempo de compilação (ao adicionar um número a uma string, o compilador vai reclamar).
Não é necessário identificar cada pedaço de código, pois o sistema de tipos inteligentemente descobrirá bastante sobre ele (não é necessário dizer que a é um número, pois ele irá descobir por si só).
Inferência de tipo também permite que o código possa ser mais genérico, ou seja, se uma função de soma passa dois parâmetros e retorna o resultado da soma, não é necessário explicitamente declarar os tipos, ele irá funfar com quaisquer valores que sejam números.
Quer dizer que, Haskell utiliza muito conceitos de alto nível, programas Haskell geralmente são mais curtos que seus equivalentes imperativas. E cá entre nós, programas mais curtos são mais fáceis de se manter e possui menos bugs.
Haskell foi feito por caras com doutorado. O trabalho sobre Haskell começou em 1987 quando uma comissão de pesquisadores se reuniu para projetar uma linguagem matadora (Killer).
Em 2003, o Relatório Haskell foi publicado já com uma versão estável (Filé) da linguagem.
É necessário um editor de texto e o compilador Haskell. O Compilador Haskell utilizado é o GHC (Glasgow Haskell Compiler), o compilador Haskell mais utilizado no mundo.
A melhor maneira para iniciarmos os trabalhos é baixar a plataforma haskell (acompanhando baterias).
Selecione a Plataforma Haskell
Por exemplo, em Linux Mint:
sudo apt-get install haskell-platform
Para ver a versão atual no seu S.O, abre o terminal e digite:
ghci
Para sair, digite:
:quit OU :q
Referências:
Learn You A Haskell En-US
Learn You A Haskell PT-BR