Haskell Programming Language - Learn Functional Programming 9.4

Licença: Livre ‎Tamanho do arquivo: 1.47 MB
‎Classificação dos usuários: 0.0/5 - ‎0 ‎Votos

Sobre Haskell Programming Language - Learn Functional Programming

A clássica linguagem de programação 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. O aplicativo é especialmente útil para aprender a linguagem de programação Haskell. Você tem que comprar compilações dentro do aplicativo. A conexão com a Internet é necessária. - A grande ferramenta de programação na AppStore. - Sua linguagem de programação para iOS é incrível! * CARACTERÍSTICAS * - Compilar e executar seu programa. - Entrada de texto antes da execução do programa e saída de texto. - Editor de código-fonte aprimorado com destaque de sintaxe, números de linha, temas de cores e teclado adicional. - Referência em idiomas online e várias amostras de programas. * LIMITAÇÕES * - A conexão com a Internet é necessária para compilar e executar um programa. - Gráficos, rede, sistema de arquivos e entrada em tempo real não são suportados. - O tempo máximo de execução de um programa é de 15 segundos. Obrigado por usar o aplicativo! ====================================== Haskell é uma linguagem de programação padronizada, puramente funcional, com semântica não estrita e digitação estática forte. É nomeado em homenagem ao 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, o principal construto de controle é a função. Após o lançamento de Miranda by Research Software Ltd, em 1985, o interesse por línguas funcionais preguiçosas cresceu: em 1987, existiam mais de uma dúzia de linguagens de programação não estritas e puramente funcionais. Destes, Miranda era o mais utilizado, mas era um software proprietário. Na conferência sobre Linguagens de Programação Funcional e Arquitetura de Computadores em Portland, Oregon, foi realizada uma reunião durante a qual os participantes formaram um forte consenso de que um comitê deveria ser formado para definir um padrão aberto para tais idiomas. O objetivo do comitê era consolidar as linguagens funcionais existentes em uma comum que serviria de base para futuras pesquisas em design de linguagem funcional. Haskell apresenta avaliação preguiçosa, correspondência de padrões, compreensão de listas, classes 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, ortogonal ao tipo de funções. Uma função pura pode retornar 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 tipo Hindley Milner. A principal inovação de Haskell nesta área é adicionar classes de tipo, que foram originalmente concebidas como uma maneira de adicionar sobrecarga ao idioma, mas desde então encontraram muito mais usos. A construção que representa efeitos colaterais é um exemplo de um mônade. Os monads são uma estrutura geral que pode modelar diferentes tipos de computação, incluindo manipulação de erros, não dedterminismo, análise e memória transacional de software. Os monads são definidos como datatipos comuns, mas Haskell fornece um pouco de açúcar sintático para seu uso. O idioma tem uma especificação aberta, publicada e existem várias implementações. Há uma comunidade ativa em torno do idioma, e mais de 5400 bibliotecas e ferramentas de código aberto de terceiros estão disponíveis no hackage do repositório de pacotes on-line. A principal implementação de Haskell, GHC, é um intérprete e compilador de código nativo que é executado na maioria das plataformas. O GHC é conhecido por sua implementação de alta performance de concurrency e paralelismo, e por ter um sistema de tipo rico incorporando inovações recentes, como tipos generalizados de dados algébricos e famílias do tipo.