Perguntas com a marcação «haskell»

A linguagem Clean usa tipos de exclusividade para manipular E / S em uma configuração puramente funcional. Por que o comitê Haskell optou por mônadas ? Houve outras propostas de tratamento que o comitê investigou, mas decidiu contra? Nota : Não estou procurando uma guerra santa entre mônadas e outras …

36 functional-programming  history  haskell 

Sinto-me à vontade com a programação em C e C # e explorarei o C ++ no futuro. Eu posso estar interessado em explorar a programação funcional como um paradigma de programação diferente. Estou fazendo isso por diversão, meu trabalho não envolve programação de computadores e sou um pouco inspirado …

36 haskell  functional-programming  scheme 

Estou estudando Haskell com o objetivo de entender a programação funcional, com a expectativa de aplicar a percepção que obtiver em outras linguagens (principalmente Groovy, Python, JavaScript). Escolhi Haskell porque tive a impressão de que é muito puramente funcional e não permitiria nenhuma confiança no estado. Não escolhi aprender Haskell …

33 functional-programming  haskell  language-features  type-systems 

Eu li um pouco sobre semântica denotacional (DS) e estou muito intrigado com o processo de projetar programas de computador em que tipos e funções têm mapeamentos fortes e claros para a matemática. Existem recursos que discutem a criação de programas baseados no DS em detalhes? Eu já vi alguns …

30 scala  haskell  scheme 

Parece que a avaliação preguiçosa de expressões pode fazer com que um programador perca o controle sobre a ordem em que seu código é executado. Estou tendo problemas para entender por que isso seria aceitável ou desejado por um programador. Como esse paradigma pode ser usado para criar software previsível …

30 functional-programming  haskell 

Estou procurando iniciar um projeto experimental usando uma linguagem funcional e estou tentando decidir entre Erlang e Haskell, e ambos têm alguns pontos que realmente gosto. Eu gosto do forte sistema e pureza de Haskell. Tenho a sensação de que será mais fácil escrever código realmente confiável. E acho que …

30 functional-programming  haskell  erlang 

Sei que essa é uma questão muito ampla, ambígua e possivelmente filosófica. Até certo ponto, a palavra-chave mais importante da pergunta - sistema de tipos "forte" - em si está mal definida . Então, deixe-me tentar explicar o que quero dizer. Contexto geral da pergunta Criamos um aplicativo da web …

29 java  haskell  scala  type-systems  rust 

Enquanto aprendia Haskell, enfrentei muitos tutoriais tentando explicar o que são mônadas e por que as mônadas são importantes em Haskell. Cada um deles usou analogias para que fosse mais fácil entender o significado. No final do dia, acabei com três visões diferentes do que é uma mônada: Vista 1: …

29 functional-programming  haskell  monad  side-effect 

Uma coisa com a qual nunca cheguei a um acordo em Haskell é como você pode ter constantes e funções polimórficas cujo tipo de retorno não pode ser determinado pelo tipo de entrada, como class Foo a where foo::Int -> a Algumas das razões pelas quais eu não gosto disso: …

29 haskell  functional-programming 

Por que o Haskell possui um built-in if/then/else, que depende do Booltipo, em vez de ter uma função simples de biblioteca? Tal como if :: Bool -> a -> a -> a if True x _ = x if False _ y = y

25 haskell 

Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Software Engineering Stack Exchange. Fechado há 4 anos . Quero ler Estruturas de dados puramente funcionais. Encontrei facilmente a tese (que está …

25 books  functional-programming  data-structures  haskell 

Eu estava pensando sobre as origens do "let" usado em Lisp, Clojure e Haskell. Alguém sabe em que idioma apareceu primeiro?

24 history  haskell  lisp  clojure 

Linguagens funcionais, por definição, não devem manter variáveis ​​de estado. Por que, então, Haskell, Clojure e outros fornecem implementações de memória transacional de software (STM)? Existe um conflito entre duas abordagens?

24 functional-programming  haskell  clojure  stm 

Tenho alguma experiência em escrever pequenas ferramentas em Haskell e acho muito intuitivo usar, especialmente para escrever filtros (usando interact) que processam sua entrada padrão e a canalizam para a saída padrão. Recentemente, tentei usar um desses filtros em um arquivo que era cerca de 10 vezes maior que o …

23 programming-practices  haskell  stackoverflow 

Eu li que Hindley-Milner não funciona com sistemas de tipos que têm subclasses, e existem outros recursos do sistema de tipos que também não funcionam bem com ele. O Go atualmente possui apenas inferência de tipo muito limitada no :=operador. Mas Go não tem subclasses no sentido tradicional, apenas interfaces …

22 haskell  type-systems  go