Resultados da pesquisa a pedido "haskell"
Criando um comportamento para um fenômeno continuamente mensurável
Eu gostaria de criar umBehavior t a de umIO a, com a semântica pretendida de que a ação de E / S seria executada toda vez que o comportamento forsampled: {- language FlexibleContexts #-} import Reflex.Dom import Control.Monad.Trans onDemand :: ...
Haskell: Convertendo entre classes de tipos
Para esses dados: data A = A data B = B class C1 a where repr :: a -> String instance C1 A where repr _ = "A" instance C1 B where repr _ = "B" class C2 a instance C2 AExiste uma maneira de implementar a função com esse tipo? conv :: (C1 a, C2 ...
Contar ocorrências de caracteres em uma string Haskell [fechada]
Tentando determinar como contar as ocorrências de umchar é umstring. Eu era para ser armazenado em uma lista[char,count]. countChars :: String -> [(Char, Int)] Sou novo e estou aprendendo Haskell, então qualquer ajuda é muito apreciada.
Por que a multiplicação apenas curto-circuito de um lado
Eu estava brincando comfix e depois de brincar com ele me deparei com um comportamento estranho, ou seja, que0 * undefined é*** Exception: Prelude.undefined eundefined * 0 é0. O que também significa quefix (0 *) é*** Exception: <<loop>> efix (* ...
Torres de Hanói com pinos K
oTorres de Hanói [http://en.wikipedia.org/wiki/Tower_of_Hanoi]O problema é um problema clássico de recursão. Você recebe três pinos com discos em um deles e deve mover todos os discos de um pinos para outro, seguindo as regras fornecidas. Você ...
Por que toList (1, 2) == [2]
Como a pergunta diz, por que étoList (1, 2) == [2]? Lembro-me de algo semelhante acontecendo ao mapear em tuplas, mas não me lembro por que ou se está relacionado.
Coisa `Refl` em Cálculo de construções?
Em idiomas comoAgda, IdrisouHaskell com extensões de tipo, existe um= tipo como o seguinte data a :~: b where Refl :: a :~: aa :~: b significa quea eb são os mesmos. Esse tipo pode ser definido nocálculo de ...
Em Haskell, por que não existe um TypeClass para coisas que podem funcionar como listas?
eu estou lendoAprenda um Haskell [http://www.learnyouahaskell.com]e estou me perguntando por que tantas coisas estão agindo como uma lista, e nada no Prelude está usando o recurso nativo das classes de tipo para configurar isso: "A versão ...
Quais são alguns tipos que discriminam entre categorias?
Ainda estou me familiarizando com toda essa teoria da categoria, e quase todos os exemplos que vejo são com um Talvez ou uma Matriz. Mas não encontrei nenhum exemplo que discrimine essas categorias. Por exemplo, aqui estão algumas das perguntas ...
Existe um Functor que não pode ser um Candidato cumpridor da lei?
A pergunta recente [https://stackoverflow.com/questions/36274369/what-are-some-types-that-discriminate-between-categories] perguntou geralmente sobre os limites entre várias classes Haskell. eu vim ...