Perguntas com a marcação «haskell»

Uma das principais vantagens da memória transacional de software que sempre é mencionada é composição e modularidade. Diferentes fragmentos podem ser combinados para produzir componentes maiores. Em programas baseados em bloqueio, esse geralmente não é o caso. Estou procurando um exemplo simples que ilustra isso com código real. Eu preferiria …

11 haskell  clojure  stm 

A seguinte declaração apresenta um erro: type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) …

11 haskell 

Estou aprendendo programação funcional e tenho problemas para entender como alguns cenários específicos são implementados sem o uso de atribuição. O seguinte problema simples resume bastante minha confusão. Escreva um programa que receba eventos sobre alterações em uma determinada estrutura de dados e emita eventos quando essa estrutura de dados …

10 functional-programming  haskell  reactive 

A linguagem principal do Haskell é realmente simples. Vindo de uma experiência OO, a principal dificuldade é se adaptar ao paradigma funcional puro. Enquanto aprendia Haskell "básico", sempre considerei as extensões de linguagem como brinquedos para as pessoas de CS ou como experimentos para futuras versões da linguagem (como from …

10 haskell 

Vejo agora que o Racket tem tipos. À primeira vista, parece ser quase idêntico à digitação de Haskell. Mas o CLOS de Lisp está cobrindo parte do espaço que os tipos de Haskell cobrem? Criar um tipo Haskell muito estrito e um objeto em qualquer linguagem OO parece vagamente semelhante. …

10 haskell  scheme  common-lisp 

Eu li muitos livros e artigos sobre programação funcional e ainda tenho vergonha de não conseguir entender com certeza alguns conceitos muito básicos. Uma das principais idéias da programação funcional é que a mesma entrada sempre deve produzir a mesma saída. Portanto, digamos, a consulta ao banco de dados ou …

10 language-agnostic  functional-programming  haskell 

Dado que o Ruby possui bons recursos de operação de lista embutidos - reduza, mapeie, selecione, colete etc. Ele possui Procs, Blocks e Lambdas, e possui um bom suporte de iteração (a eachfamília), seria uma má decisão de projeto se eu tentar escrever todas as minhas coisas de Ruby da …

10 ruby  haskell  functional-programming 

Parece que qualquer instância vinculada deve ter uma implementação sã do Enum. Pessoalmente, não consigo pensar em um contra-exemplo, embora, se alguém criar um que não seja patológico, entenderei por que não é esse o caso. Ao executar :inas duas classes de tipos, parece que a única exceção atualmente na …

9 haskell  typeclass 

Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 4 anos . Artigo original de Wadler sobre Mônadas para Programação Funcional (Haskell), …

9 haskell  lisp  virtual-machine  computer-architecture  lisp-machine 

Eu li que o Go realmente não tem inferência de tipo verdadeira, no sentido de que linguagens funcionais como ML ou Haskell têm, mas não consegui encontrar uma comparação simples de entender das duas versões. Alguém poderia explicar em termos básicos como a inferência de tipo no Go difere da …

9 haskell  type-systems  go 

Recentemente, fiquei profundamente interessado em Haskell. Enquanto tentava aprender novos conceitos (por exemplo, a palavra - chave forall e a mônada ST ) e o sistema de tipos de Haskell em geral, eu sempre me deparo com conceitos da teoria das categorias e do cálculo lambda . Então, eu me …

9 programming-languages  functional-programming  math  haskell  type-systems 

Quero implementar um armazenamento de dados na memória para um serviço da Web em Haskell. Eu quero executar transações na STMmônada. Quando eu coloco no Google o haskell da tabela de hash, recebo apenas isso: Data. BTree. HashTable. STM.O nome e as complexidades do módulo sugerem que isso é implementado …

9 data-structures  haskell 

O padrão arquitetural de tubulação e filtro é definido como uma cadeia de elementos de processamento, organizados de forma que a saída de cada elemento seja a entrada do próximo . Todo exemplo parece considerar a conexão entre processos ou entre threads executada por meio de algum tipo de buffer …

9 design  functional-programming  haskell  architectural-patterns 

Já me disseram em perguntas anteriores que as linguagens de programação funcional não são adequadas para sistemas dinâmicos, como um mecanismo de física, principalmente porque é caro modificar objetos. Quão realista é essa afirmação e por quê?

9 functional-programming  haskell  clojure  immutability 

Eu entendi que muito antes de Haskell, O'Caml ou LISP, funções de ordem superior eram um assunto de pesquisa acadêmica e, em matemática, Schönfinkel (em 1967) e Haskell Curry (em 1968) já aplicavam técnicas como curry, mas isso foi antes de estar disponível em qualquer linguagem de programação. O esquema, …

9 functional-programming  history  haskell  scheme  higher-order-functions