Aprenda a programação de Haskell: comece com esta linguagem de programação funcional

Divulgação: Seu suporte ajuda a manter o site funcionando! Ganhamos uma taxa de indicação por alguns dos serviços que recomendamos nesta página.


A linguagem de programação Haskell recebeu o nome do lógico Haskell Brooks Curry, cujo trabalho em lógica matemática é usado como base para linguagens de programação funcionais.

Haskell também implementa o cálculo Lambda, portanto, o logotipo escolhido para Haskell contém um símbolo lambda estilizado.

O que é Haskell?

Haskell é uma linguagem de programação padronizada, de uso geral, multiparadigma e puramente funcional, com avaliação lenta, semântica não estrita e tipagem estática forte.

Ser uma linguagem puramente funcional significa que as funções em Haskell não têm efeitos colaterais, com uma construção separada fornecida para representar efeitos colaterais – ortogonais.

O Haskell possui uma especificação aberta e publicada e muitas implementações do Haskell existem sob várias licenças de código aberto. O Glasgow Haskell Compiler (GHC) é a principal implementação do Haskell e tornou-se o dialeto Haskell padrão de fato.

Haskell é amplamente utilizado em cursos de programação educacional e na indústria. Por exemplo, todos os itens a seguir são implementados no Haskell:

  • O gerenciador de janelas do Xmonad

  • Sistema de controle de revisão Darcs

  • Desenvolvimento de ferramentas de sistema Linspire

  • Ferramentas de projeto de semicondutores Bluespec SystemVerilog

  • Proteção anti-spam do Facebook

  • Verificação de algoritmos criptográficos Cryptol.

Breve história

O interesse em linguagens de programação preguiçosas aumentou após o lançamento do Miranda, uma linguagem de programação preguiçosa, em 1985.

Durante a conferência Linguagens de Programação Funcional e Arquitetura de Computadores em Portland, foi realizada uma reunião em que os participantes chegaram a um forte consenso para formar um comitê que deveria definir um padrão aberto para essas linguagens de programação..

A versão 1.0 de Haskell foi definida em 1990, com base na semântica de Miranda, mas com uma sintaxe diferente.

O trabalho contínuo do comitê resultou em uma série de definições de idioma adicionais, de 1,0 a 1,4. O Haskell 98, lançado no final de 1997, especificou uma versão mínima e estável da linguagem, com uma biblioteca anexa como uma base forte para desenvolvimento adicional.

Haskell 2010, publicado em julho de 2010, é a versão estável mais recente. Esta versão do Haskell apresenta suporte para a interface de função externa (FFI), que permite ligações a outras linguagens de programação.

Recursos

Haskell é uma linguagem de programação estaticamente tipificada, utilizando o sistema do tipo Hindley-Milner para garantir a segurança do tipo. A linguagem também introduziu classes de tipos – sua principal inovação.

Haskell é puramente funcional; portanto, toda função em Haskell é uma função no sentido matemático puro; não há instruções ou instruções.

Em um programa Haskell, você não precisa definir explicitamente os tipos, eles podem ser inferidos pela unificação. Os tipos ainda podem ser estritamente definidos no código, se você optar por fazê-lo.

Haskell é avaliado preguiçosamente, o que significa que as funções não avaliam seus argumentos, permitindo fácil definição de estruturas de controle e reutilização ideal do código.

Como outras linguagens de programação funcional, o Haskell possui um sistema de gerenciamento automático de memória através da coleta de lixo, onde a memória é automaticamente alocada e liberada pelo coletor de lixo.

Introdução ao Haskell

Se você tem experiência anterior em métodos e lógica de programação ou outras linguagens de programação funcionais, iniciar a programação Haskell não deve representar um grande problema..

Seu ambiente de desenvolvimento

Antes de começar a codificar no Haskell, você precisará de um ambiente de desenvolvimento. Sugerimos o uso do Glasgow Haskell Compiler (GHC) incluído no download da Plataforma Haskell, pois é o compilador mais popular para a linguagem de programação Haskell.

Atualmente, está disponível nos três grandes sistemas operacionais: Mac OS X, Linux e Windows.

A instalação do Haskell nesses sistemas operacionais é fácil e bem documentada, basta escolher o download certo para o seu sistema operacional na página de download da Plataforma Haskell e seguir as instruções de instalação.

Recursos

Pesquisamos um pouco para encontrar os melhores tutoriais, e-books, cursos interativos e outros recursos da Haskell. Sugerimos que você tente usar vários recursos e trabalhe até exercícios e projetos mais complexos.

Cursos e tutoriais em Haskell

Para ver o que Haskell pode fazer, você precisa tentar. Estes tutoriais e cursos fornecem um bom ponto de partida:

  • Uma introdução suave a Haskell, versão 98 de Hudak, Peterson, Fasel é um tutorial passo a passo gratuito para Haskell. Um download gratuito disponível.

  • Ainda outro tutorial do Haskell (pdf) de Hal Daume é um tutorial gratuito e muito bom da Haskell, que fornece uma introdução abrangente e prática à programação da Haskell.

  • Experimente o Haskell é um IDE online que pode executar o código Haskell, com um breve tutorial incorporado. Este é um bom lugar para experimentar rapidamente algum código Haskell.

  • A School of Haskell possui bons materiais de aprendizagem, artigos e tutoriais, tanto para iniciantes quanto para programadores mais experientes da Haskell.

  • O Haskell.org possui uma seção de documentação muito boa, onde você pode encontrar vários livros, cursos, tutoriais e outros recursos para a programação do Haskell.

Recursos adicionais

O trabalho de tutoriais e referência oficial da linguagem de programação com código de amostra pode ajudar você a entender a programação Haskell muito melhor do que os recursos teóricos. Estes são alguns dos recursos mais abrangentes e detalhados para Haskell:

  • O relatório de idioma do Haskell 2010 (pdf) define a sintaxe dos programas Haskell e a referência para as bibliotecas do Haskell.

  • O Guia do usuário do glorioso sistema de compilação Haskell de Glasgow é um guia completo do usuário do compilador Glasgow Haskell

Depois de passar pelos recursos e tutoriais listados acima, você deverá ter um entendimento básico da programação Haskell.

Livros

Selecionamos alguns livros que abordam vários aspectos da programação Haskell. A maioria desses e-books é recomendada pelos educadores da Haskell e serão recursos úteis para quem tenta dominar o idioma:

  • Mundo Real Haskell de O´Sullivan, Stewart e Goerzen. Este livro mostrará como usar a programação funcional e o Haskell para resolver problemas cotidianos realistas. Disponível como download gratuito ou para compra.

  • Aprenda um Haskell para um grande bem! de Miran Lipovaca é um guia ilustrado e divertido dessa complexa linguagem funcional. Embalado com o trabalho artístico original do autor e um código de exemplo útil, este livro ensina os fundamentos funcionais de uma maneira que você nunca pensou ser possível. Disponível como download gratuito ou para compra.

  • O caminho Haskell para lógica, matemática e programação de Doets e van Eijck mostrará na prática o raciocínio lógico e matemático e conectará o raciocínio lógico à programação Haskell.

Sumário

Com esta introdução e esses recursos, você deve estar no caminho de se tornar um especialista em programação funcional com a Haskell.

Jeffrey Wilson Administrator
Sorry! The Author has not filled his profile.
follow me
    Like this post? Please share to your friends:
    Adblock
    detector
    map