Resultados da pesquisa a pedido "haskell"
Como adicionar campos que armazenam somente algo em cache no ADT?
Muitas vezes, estou precisando adicionar campos a um ADT que apenas armazena algumas informações redundantes. Mas eu não descobri completamente como fazê-lo ...
Como os Functors são úteis?
Sabemos que qualquer tipo genéricoF[_] commap método, que cumpre algumasleis [http://eed3si9n.com/learning-scalaz/Functor+Laws.html], é umfunctor. Por exemplo,List[_], Option[_]eF[A] = Env => A são functores. Eu só estou querendo saber se essa ...
Correspondência de padrões na teoria observacional dos tipos
No final da seção "5. OTT completo" doRumo à teoria do tipo observacional [http://strictlypositive.org/ott.pdf]os autores mostram como definir tipos de dados indexados coercíveis em construtores no OTT. A ideia é basicamente transformar tipos de ...
combinando StateT com InputT
É um acompanhamento paraessa questão [https://stackoverflow.com/questions/37908718/keeping-track-of-history-in-ghci]. Estou tentando combinarshell de @ ErikR'sresponda [https://stackoverflow.com/a/37909749/165753]no meuInputT ciclo. main :: IO ...
Como faço para que o analisador Attoparsec seja bem-sucedido sem consumir (como o parsec lookAhead)
Escrevi um analisador attoparsec rápido para examinar um arquivo aspx e descartar todos os atributos de estilo, e ele está funcionando bem, exceto por uma pa...
Diferença entre as monads preguiçosas e estritas de Haskell (ou transformadores)
Ao navegar pelo Hackage, a maioria das mônadas tem uma versão Preguiçosa e Estrita. Qual é a diferença exatamente? Você pode destacar alguns exemplos das môn...
Função para avaliar o haskell no ghci enquanto edita o arquivo fonte usando o Emacs
Estou editando um arquivo de origem haskell. Eu quero executar minha função principal no meu buffer de hask inferior (já aberto em um quadro diferente) e con...
O que são paramorfismos?
Lendo atravéseste papel clássicoEstou preso em paramorfismos. Infelizmente a seção é bem fina, e a página da Wikipedia não diz nada.Minha tradução do Haskell é: