Haskell

Haskell é uma linguagem de programação de tipo estático e puramente funcional com inferência de tipo e avaliação preguiçosa. O seu nome vem do lógico Haskell Curry. Haskell é amplamente conhecido pela sua sintaxe elegante e concisa, bem como pelo seu poderoso sistema de tipo. Haskell é uma linguagem de programação puramente funcional, o que significa que todos os cálculos são feitos através da avaliação das funções. Isto contrasta com as linguagens imperativas, que utilizam efeitos secundários para efectuar os cálculos. A pureza de Haskell torna mais fácil raciocinar sobre programas, e também permite uma execução mais eficiente. O sistema do tipo Haskell é muito potente, e permite uma grande segurança de tipo. Os programas de Haskell são tipados de forma estática, o que significa que todos os erros de tipo são apanhados em tempo de compilação. Isto evita muitos erros de tempo de execução, e torna os programas mais robustos. Haskell é também uma linguagem preguiçosamente avaliada, o que significa que as expressões não são avaliadas até serem necessárias. Isto pode levar a programas mais eficientes, bem como a códigos mais concisos. Globalmente, Haskell é uma linguagem de programação muito poderosa e eficiente. É fácil de aprender, e a sua sintaxe é muito concisa. O sistema do tipo Haskell é muito forte, e a sua preguiça pode levar a programas mais eficientes.