Haskell Programming Language - Learn Functional Programming 9.4
Poderá descarregar em 5 segundos.
Sobre Haskell Programming Language - Learn Functional Programming
A linguagem de programação clássica haskell para iPad, iPhone e iPod touch. A linguagem de programação é uma ferramenta perfeita para estudar, cálculo matemático complexo, entretenimento e muitas outras tarefas úteis. A aplicação é especialmente útil para a aprendizagem da linguagem de programação Haskell. Tens de comprar compilações dentro da aplicação. É necessária uma ligação à Internet. - A grande ferramenta de programação na AppStore. - A sua linguagem de programação para iOS é incrível! * CARACTERÍSTICAS * - Compilar e executar o seu programa. - Entrada de texto antes da execução do programa e saída de texto. - Editor de código fonte melhorado com destaque de sintaxe, números de linha, temas de cor e teclado adicional. - Referência linguística online e várias amostras de programa. * LIMITAÇÕES * - A ligação à Internet é necessária para compilar e executar um programa. - Os gráficos, a rede, o sistema de ficheiros e a entrada em tempo real não são suportados. - O tempo máximo de funcionamento de um programa é de 15 segundos. Obrigado por usar a aplicação! ====================================== Haskell é uma linguagem de programação puramente funcional, de propósito geral, com semântica não rígida e forte dactilografia estática. Tem o nome do lógico Haskell Curry. Em Haskell, "uma função é um cidadão de primeira classe" da linguagem de programação. Como uma linguagem de programação funcional, a construção de controlo primário é a função. Após o lançamento da Miranda by Research Software Ltd, em 1985, o interesse em linguagens funcionais preguiçosas cresceu: em 1987, existiam mais de uma dezena de linguagens de programação não rígidas e puramente funcionais. Destes, Miranda era a mais utilizada, mas era um software proprietário. Na conferência sobre Linguagens de Programação Funcional e Arquitetura Informática em Portland, Oregon, realizou-se uma reunião durante a qual os participantes formaram um forte consenso quanto à formação de um comité para definir um padrão aberto para tais línguas. O objetivo do comité era consolidar as línguas funcionais existentes numa linguagem comum que serviria de base para a investigação futura em design de linguagem funcional. Haskell apresenta avaliação preguiçosa, correspondência de padrões, compreensão de listas, aulas de tipo e polimorfismo tipo. É uma linguagem puramente funcional, o que significa que, em geral, as funções em Haskell não têm efeitos colaterais. Há uma construção distinta para representar efeitos colaterais, orogonal para o tipo de funções. Uma função pura pode devolver um efeito colateral que é posteriormente executado, modelando as funções impuras de outras línguas. Haskell tem um sistema de tipo estático forte baseado na inferência do tipo Hindley Milner. A principal inovação de Haskell nesta área é adicionar aulas de tipo, que foram originalmente concebidas como uma forma de adicionar sobrecarga à língua, mas desde então encontraram muitos mais usos. A construção que representa efeitos colaterais é um exemplo de um monár o monár o partido. Os monads são um quadro geral que pode modelar diferentes tipos de computação, incluindo manipulação de erros, não determinismo, análise e memória transacional de software. Os monados são definidos como tipos de dados comuns, mas Haskell fornece algum açúcar sintático para o seu uso. A linguagem tem uma especificação aberta e publicada, e existem múltiplas implementações. Existe uma comunidade ativa em torno da língua, e mais de 5400 bibliotecas e ferramentas de código aberto de terceiros estão disponíveis no repositório de pacotes online Hackage. A implementação principal de Haskell, GHC, é simultaneamente um intérprete e compilador de código nativo que funciona na maioria das plataformas. O GHC é notado pela sua implementação de alto desempenho de concurrency e paralelismo, e por ter um sistema de tipo rico que incorpora inovações recentes, tais como tipos de dados algébricos generalizados e famílias de tipo.