Haskell é uma linguagem de programação puramente funcional baseada inteiramente em processos matemáticos e lógicos. A programação funcional é uma forma de programação declarativa, o que significa que o programa se concentra em sua natureza e no que deve realizar, em vez de detalhar e ordenar como isso deve ser feito (como faz a programação imperativa). A natureza puramente funcional de Haskell fornece aos desenvolvedores um código direto que eles podem estudar para entender claramente a lógica do programa, sem percorrer os comandos e longas seções de código.
Características de Haskell e programação funcional
A programação funcional torna o código mais fácil de analisar; é lógico, matemático e específico. Haskell é um dos principais exemplos de uma linguagem puramente funcional. Foi nomeado em homenagem a Haskell Brooks Curry, um matemático e lógico cujo trabalho lançou as bases para o desenvolvimento de linguagens de programação funcional. Haskell é popular entre algumas empresas, como finanças e tecnologia, que exigem processos matemáticos muito específicos, corretos e explícitos.
As características de Haskell (e programação puramente funcional em geral) incluem:
Alimento funções eles são mais fáceis de analisar e testar e são independentes de eventos externos. Em outras palavras, funções puras retornam a mesma resposta todas as vezes, sem afetar outras seções do programa.
Não efeitos colaterais como as funções retornam o mesmo valor cada vez que são chamadas, elas não têm efeitos colaterais em outras partes do programa. Um efeito colateral geralmente altera o estado do próprio programa, não apenas a área local em que aparece. Como as funções são puras, os desenvolvedores podem evitar quaisquer efeitos colaterais enquanto trabalham em Haskell.
Avaliação preguiçoso o programa só avaliará uma função quando for absolutamente necessário. Ele não avaliará funções apenas porque. Isso é mais eficiente.
Digitação estática o programador deve atribuir um tipo de dados a uma variável ao desenvolver o programa. Normalmente, o programa assumirá esse tipo para cada instância seguinte da variável.