Resultados da pesquisa a pedido "haskell"
Erro de tipo ao testar uma função com um número negativo
Eu estou acompanhando junto com oAprenda um Haskell para o bemEu implementeitake': take' :: (Ord i, Num i) => i -> [a] -> [a] take' n _ | n <= 0 = [] take' _ [] = [] take' n (x:xs) = x: take' (n-1) xsAo testar a função com: take' -2 [2]em vez ...
runST com sistema do tipo Hindley-Milner
Se eu entendi a mônada ST em Haskell corretamente,runST usa tipos de classificação 2 de maneira inteligente para garantir que um cálculo não faça referência a nenhum outro encadeamento ao escapar da mônada. Eu tenho uma linguagem de brinquedo ...
Que tipos de problemas ajudam o "polimorfismo de tipo superior" a resolver melhor?
Ao ler algumas seções doHistória de Haskell [https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/history.pdf] , Me deparei com: No entanto, o polimorfismo de tipo superior tem utilidade independente: é inteiramente possível, e ...
Ações de E / S de teste de unidade com Hspec
Eu encontrei outras perguntas em linhas semelhantes, mas nada que responda à minha pergunta nesse cenário específico. Além disso, parece haver poucos recursos que abordam sucintamente o assunto das ações de E / S de testes de unidade em ...
Não foi possível deduzir o KnownNat em dois existenciais com relação à biblioteca de singletons
Eu estava experimentando a biblioteca de singletons e encontrei um caso que não entendi. {-# LANGUAGE GADTs, StandaloneDeriving, RankNTypes, ScopedTypeVariables, FlexibleInstances, KindSignatures, DataKinds, StandaloneDeriving #-} ...
Como usar importar uma biblioteca pessoal em outro projeto com o Stack?
Então, eu tenho uma biblioteca de pilha pessoal, vamos chamá-laFoo. NoFoo, Eu tenho umFooModule arquivo de módulo chamadoFooModule.hs. Eu tenho outro projeto de pilha chamadoBar. Como importo oFooModule.hs módulo para projetarBar?
Como serializar o tipo de função para json em haskell?
data Task = Task { id :: String , description :: String , dependsOn :: [String] , dependentTasks :: [String] } deriving (Eq, Show, Generic, ToJSON, FromJSON) type Storage = Map String Task s :: Storage s = empty addTask :: Task -> Storage -> ...
ghci - confusão padrão
Aconteceu um comportamento estranho durante a verificação do tamanho (minBound,maxBound) e "comprimento na representação decimal" de diferentes tipos integrais. Usando o GHCi: Prelude> :{ Prelude| let mi = minBound Prelude| ma = maxBound ...
Por que um IO aninhado em outras mônadas não é executado? Existe uma maneira de forçá-los a fazê-lo?
Este é um acompanhamento da minha última pergunta.Ação de E / S aninhada em outras mônadas que não executam [https://stackoverflow.com/questions/42382396/io-action-nested-in-other-monads-not-executing] A solução para essa pergunta foi remover ...
Qual é a maneira mais padrão / genérica de compactar uma passagem com uma lista?
Traversable é, de certo modo, a classe de contêineres cuja estrutura possui um "caminho" (que pode corresponder a uma lista), os elementos nos quais podem ser modificados sem dissolver a estrutura. Conseqüentemente zipTrav :: Traversable t => t ...