Resultados da pesquisa a pedido "haskell"
Colocar na lista negra sua própria versão defeituosa de hackers
Carreguei acidentalmente uma distribuição com defeito e tentei reenviá-la imediatamente, mascabal respondeu com: This version of the package has already been uploaded. As a matter of policy we do not allow package tarballs to be changed after a ...
Por que Haskell para de inferir as classes de tipo do tipo de dados nas assinaturas de função?
Em primeiro lugar, esta questão não é 100% específica para Haskell, sinta-se à vontade para comentar sobre o design geral de classes, interfaces e tipos. eu estou lendoLYAH - criando tipos e classes de ...
Não existe uma instância de mônada padrão (a)?
Fiquei com a impressão de que havia um exemplo para qualquer lugar, mas não consigo encontrá-lo. Eu tentei importar Control.Monad, Control.Monad.Instances e Data.E como mostrado module Main where import Control.Monad import Data.Either ...
Por que o `mfix` não é total no` MaybeT`
oimplementação de transformadores [https://hackage.haskell.org/package/transformers-0.5.5.0/docs/src/Control.Monad.Trans.Maybe.html#line-186] doMonadFix paraMaybeT falhará se a função for avaliada comoNothing. Porque éNothing não se ...
O que os parênteses significam (x: xs) ao fazer a correspondência de padrões?
quando você divide uma lista usando a sintaxe x: xs, por que ela está entre parênteses? qual é o significado dos parênteses? por que não [x: xs] ou apenas x: xs?
Matemática de ponto flutuante em diferentes linguagens de programação
Eu sei que a matemática de ponto flutuante pode ser feia na melhor das hipóteses, mas estou me perguntando se alguém pode explicar a seguinte peculiaridade. Na maioria das linguagens de programação eu testei a adição de 0,4 a 0,2 deu um pequeno ...
O que é um exemplo explícito de uma mônada sem um transformador de mônada? [duplicado]
Esta pergunta já tem uma resposta aqui: Existe uma mônada que não possui um transformador de mônada correspondente (exceto IO)? [/questions/24515876/is-there-a-monad-that-doesnt-have-a-corresponding-monad-transformer-except-io] 4 respostasOs ...
Por que um tipo explícito NÃO é necessário para a aritmética básica do Prelude?
Eu fuirespondendo a uma pergunta [https://stackoverflow.com/a/21943252/925978]e escrevi um código para fazer o trabalho. isPrime :: Int -> Bool isPrime n = primeCheck n $ floor $ sqrt $ (fromIntegral n :: Double)Eu assumi que a assinatura de ...
Profundidade de uma árvore (Haskell)
Estou tentando descobrir como calcular a profundidade de uma árvore geral em Haskell. Eu posso descobrir a solução para árvores binárias simples, mas não para árvores gerais com qualquer número de folhas. Aqui está o código que tenho para ...
Você pode formular o tipo de inserção como um monóide no Clojure?
Este é o código para uma classificação de inserção no Clojure: (defn in-sort! [data] (letfn [(insert ([raw x](insert [] raw x)) ([sorted [y & raw] x] (if (nil? y) (conj sorted x) (if (<= x y ) (concat sorted [x,y] raw) (recur (conj sorted y) raw ...