Resultados da pesquisa a pedido "haskell"
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 ...
Abstração de tipo no GHC Haskell
Gostaria de obter o seguinte exemplo para verificação de tipo: {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Foo where f :: Int -> (forall f. Functor f => ...
Aplicar parcialmente várias funções no Haskell
Suponha que, em Haskell, eu tenha várias funções que dependem do mesmo tipo de parâmetro: f :: Par -> a -> b g :: Par -> b -> cEnquanto escrevo mais dessas funções que ainda dependem desse tipo de parâmetro, posso fazer algo como h :: Par -> a ...
Haskell verifica se o movimento diagonal do tabuleiro de xadrez é Verdadeiro ou Falso [fechado]
Estou tentando escrever uma função de jogo de tabuleiro de tabuleiro 4x5 e quero fazer uma função Bool verdadeira verdadeira simples, indicando se o movimento baseado nas coordenadas x, y é diagonal ou não. Eu quero colocar 4 coordenadas 2 x e 2 ...
Nenhuma instância para (Num a) decorrente do uso de '+' Haskell
Não consigo descobrir por que isso não vai funcionar: final' :: [a] -> a final' lst = foldl(\accum x -> accum - accum + x) 0 lstEu sempre recebo o erro Nenhuma instância para (Num a) decorrente do uso de '+'
Adicionando duas funções juntas no Haskell
Olá, sou novo em Haskell e me deparei com um problema interessante, mas não tinha muita certeza de como iria resolvê-lo. Estou prestes a mostrar apenas duas partes da pergunta como exemplo. A questão é que devemos inserir um número entre 13 e 15 ...
Is `data PoE a = Vazio | Emparelhar uma mônada?
Esta pergunta vem desta resposta emexemplo de um functor que é aplicável, mas não uma mônada [https://stackoverflow.com/a/49703783/412549]: Alega-se que o data PoE a = Empty | Pair a a deriving (Functor,Eq)não pode ter uma instância de mônada, ...
Como criar listas (ou matriz) de canais em Haskell, como Go
Estou tentando comparar o Haskell com o Go para alguns exemplos de simultaneidade, o código a seguir é um exemplo simples de redução de mapa no Go usando Goroutines e canais. O seguinte código Go calcula a soma dos quadrados: 1 ^ 2 + 2 ^ 2 + 3 ^ ...
função de replicação para uma lista indexada em comprimento usando GHC.TypeLits e singletons
Estou tentando escrever uma função de replicação para uma lista indexada por comprimento usando o mecanismo deGHC.TypeLits [https://hackage.haskell.org/package/base-4.11.0.0/docs/GHC-TypeLits.html], singletons ...
função simples que muda elemento específico de uma lista
Eu sou novo no Haskell e estou tentando descobrir como criar uma função: shift:: Eq a => a -> [a] -> Int -> [a] shift x (h:t) zEntrada: uma lista genérica e um elemento x do mesmo tipo Pré-condição: o elemento x existe na lista Resultado: se ...