Perguntas com a marcação «haskell»

Como alguém codificaria esse pedaço de código C em um arquivo .chs para que o c2hs pudesse transformá-lo em algo relativamente bom? typedef enum { MONOME_BUTTON_UP = 0x00, MONOME_BUTTON_DOWN = 0x01, MONOME_ENCODER_DELTA = 0x02, MONOME_ENCODER_KEY_UP = 0x03, MONOME_ENCODER_KEY_DOWN = 0x04, MONOME_TILT = 0x05, /* update this if you add event …

100 haskell  c2hs 

Não tenho certeza do que está causando esse problema, mas em um projeto, estou construindo, o compilador está levando horas apenas para compilar um módulo. O tamanho total da minha base de código é 352 KB, mas nenhum dos módulos tem mais de 10 KB. Estou usando uma porta nativa, …

100 haskell  switch-statement  pattern-matching  elm 

Ao tentar depurar um problema em meu programa (2 círculos com raio igual estão sendo desenhados em tamanhos diferentes usando o Gloss *), me deparei com uma situação estranha. Em meu arquivo que manipula objetos, tenho a seguinte definição para um Player: type Coord = (Float,Float) data Obj = Player …

99 haskell  types 

Estou tentando e falhando em grocar a traversefunção de Data.Traversable. Não consigo ver seu ponto. Visto que venho de um background imperativo, alguém pode me explicar em termos de um loop imperativo? O pseudo-código seria muito apreciado. Obrigado.

99 haskell  traversal 

O que é mônada indexada e a motivação para essa mônada? Eu li que ajuda a controlar os efeitos colaterais. Mas a assinatura do tipo e a documentação não me levam a lugar nenhum. Qual seria um exemplo de como pode ajudar a controlar os efeitos colaterais (ou qualquer outro …

98 haskell  monads 

Como posso acessar uma lista por índice em Haskell, análogo a este código C? int a[] = { 34, 45, 56 }; return a[1];

97 haskell 

A absurdfunção in Data.Voidtem a seguinte assinatura, onde Voidé o tipo logicamente inabitado exportado por esse pacote: -- | Since 'Void' values logically don't exist, this witnesses the logical -- reasoning tool of \"ex falso quodlibet\". absurd :: Void -> a Eu conheço lógica suficiente para obter a observação da …

97 haskell  type-theory  curry-howard 

Onde quer que eu tentei usar map, fmaptem funcionado bem. Por que os criadores de Haskell sentiram a necessidade de uma mapfunção? Não poderia ser apenas o que é conhecido atualmente fmape fmappoderia ser removido da linguagem?

97 haskell 

Lendo este artigo clássico , estou preso em paramorfismos. Infelizmente, a seção é bem estreita e a página da Wikipedia não diz nada. Minha tradução de Haskell é: para :: (a -> [a] -> b -> b) -> b -> [a] -> b para f base = h where h …

96 haskell  recursion  functional-programming  higher-order-functions 

Eu sou novo em programação funcional e recentemente aprendi em Learn You a Haskell , mas quando li este capítulo , fiquei preso no programa abaixo: import Control.Monad.Writer logNumber :: Int -> Writer [String] Int logNumber x = Writer (x, ["Got number: " ++ show x]) multWithLog :: Writer [String] …

96 haskell  monads 

É possível escrever um módulo em Haskell, que reexporta um módulo além de exportar tudo o que está visível dentro dele? Vamos considerar o seguinte módulo: module Test where import A f x = x Este módulo exporta tudo o que está definido dentro, então ele exporta, fmas não reexporta …

96 haskell  module  export 

Quais são as possibilidades, se houver, de obter documentos offline para bibliotecas centrais Haskell (e talvez mais)? Às vezes levo meu laptop para a cafeteria onde não há wi-fi, e seria bom ter algo como Hoogle, mas para uso offline.

94 haskell  offline-mode 

Eu tinha feito um daemon que usava uma forma muito primitiva de ipc(telnet e enviar uma String que tinha certas palavras em uma determinada ordem). Eu saí dessa situação e agora estou usando JSONpara passar mensagens para um Yesodservidor. No entanto, houve algumas coisas que realmente gostei no meu design, …

93 json  haskell  exception-handling  yesod 

Estou tentando tornar os tipos de exibição de ghci para minhas bibliotecas o mais intuitivos possível, mas estou encontrando muitas dificuldades ao usar recursos de tipo mais avançados. Digamos que eu tenha este código em um arquivo: {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeOperators #-} import …

93 haskell  types  ghci 

Refatorei recentemente o código duas vezes para alterar a ordem dos parâmetros porque havia muito código onde os hacks gostavam flipou \x -> foo bar x 42estavam acontecendo. Ao projetar uma assinatura de função, quais princípios me ajudarão a fazer o melhor uso do currying?

93 haskell  functional-programming  currying  partial-application