Perguntas com a marcação «haskell»

Esses termos foram mencionados no meu curso universitário. A pesquisa rápida no Google apontou alguns documentos da universidade, mas estou procurando uma explicação simples.

22 functional-programming  haskell 

Estou trabalhando no aprendizado do Haskell e me deparei com três maneiras diferentes de lidar com erros nas funções que escrevo: Eu posso simplesmente escrever error "Some error message.", o que gera uma exceção. Posso retornar minha função Maybe SomeType, onde posso ou não ser capaz de retornar o que …

22 haskell  error-handling 

Existem algumas razões teóricas para isso (como a verificação ou inferência de tipo se tornariam indecidíveis) ou razões práticas (muito difíceis de implementar adequadamente)? Atualmente, podemos envolver coisas newtypecomo newtype Pair a = Pair (a, a) e depois tem Pair :: * -> * mas não podemos fazer algo assim …

22 haskell  abstraction  type-systems  lambda 

Ao explicar o combinador Y no contexto de Haskell, geralmente é observado que a implementação direta não verifica o tipo no Haskell devido ao seu tipo recursivo. Por exemplo, do Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite recursive …

21 haskell  type-systems  static-typing  ocaml 

Eu era desenvolvedor Java há muito tempo, mas recentemente entrei para uma equipe da Haskell. No mundo java, se você tiver um projeto grande, com várias equipes trabalhando nele, uma abordagem comum é usar um servidor de artefato como o Maven para facilitar e acelerar o desenvolvimento. Várias ferramentas de …

20 java  haskell  maven  build-system 

Suponha que eu queira escrever uma biblioteca que lide com vetores e matrizes. É possível agrupar as dimensões nos tipos, para que operações de dimensões incompatíveis gerem um erro no tempo de compilação? Por exemplo, eu gostaria que a assinatura do produto escalar fosse algo como dotprod :: Num a, …

20 haskell  type-systems  type-safety 

Recentemente, eu passei pelo guia Aprenda um Haskell para o bem grande e, como prática, queria resolver o problema do Projeto Euler 5 com ele, que especifica: Qual é o menor número positivo que é igualmente divisível por todos os números de 1 a 20? Decidi primeiro escrever uma função …

20 haskell 

Eu sei que Haskell já tem a capacidade de parametrizar um tipo sobre outro tipo (semelhante à programação de modelos em C ++), mas estou me perguntando se Haskell também pode parametrizar um tipo sobre valores - se ele suporta tipos dependentes. Com tipos dependentes, você pode ter um tipo …

20 haskell 

Bloqueado . Esta pergunta e suas respostas estão bloqueadas porque a questão está fora do tópico, mas tem um significado histórico. No momento, não está aceitando novas respostas ou interações. Estou envolvido no ensino de matemática para turmas com requisitos como AS e especificação de matemática de nível A. Os …

19 haskell 

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á 5 anos . Existem vários frameworks web para Haskell, como Happstack , Snap …

19 web-development  experience  comparison  web-framework  haskell 

Como o padrão de usar manipuladores de comando para lidar com persistência se encaixa em uma linguagem puramente funcional, na qual queremos tornar o código relacionado à IO o mais fino possível? Ao implementar o Design Orientado a Domínio em uma linguagem orientada a objetos, é comum usar o padrão …

18 c#  architecture  functional-programming  domain-driven-design  haskell 

Recentemente, estive pesquisando sobre programação funcional, especialmente Haskell e F #, quanto mais antes. Depois de pesquisar no Google, não consegui encontrar uma comparação de benchmark das linguagens funcionais mais importantes (Scala, F # etc). Sei que não é necessariamente justo para algumas das línguas (Scala me vem à mente), …

18 functional-programming  scala  haskell  f#  benchmarking 

Recentemente, tropecei mais uma vez nas questões dos registros de Haskell, em particular na singularidade dos nomes de campos. (É uma dor ...) Eu já li Uma proposta de registros em Haskell do SPJ e Greg Morrisett, mas sua última atualização foi em 2003. Outro artigo chamado Lightweight Extensible Records …

18 haskell  language-features 

Estou aprendendo Haskell e, como exercício, estou criando árvores binárias. Tendo feito uma árvore binária regular, quero adaptá-la para se auto balancear. Então: Qual é o mais eficiente? Qual é a mais fácil de implementar? Qual é o mais usado? Mas crucialmente, o que você recomenda? Suponho que isso pertence …

18 haskell  functional-programming  data-structures  binary-tree 

Em um problema de aprendizado com o qual estou brincando, percebi que precisava de uma classe para funções com operações para aplicação, composição etc. Razões ... Pode ser conveniente tratar uma representação de uma função como se fosse a própria função, de modo que a aplicação implícita da função use …

17 haskell  standard-library