Resultados da pesquisa a pedido "haskell"
Como a redução eta de uma função bem tipificada pode resultar em um erro de tipo?
Eu estava brincando com as lentes de van Laarhoven e me deparei com um problema em que o verificador de tipos rejeita a forma eta-reduzida de uma função bem ...
Haskell - lista de sequências de filtros baseada em algumas condições
Eu sou novo nesta comunidade. Eu aprendo Haskell e tenho dificuldades com o código Haskell. Espero que você possa me ajudar.Eu procurei aqui e no Google, sem...
Haskell - Capitalize todas as letras em uma lista [String] com toUpper
Eu tenho uma lista [String] a tarefa é para remover os elementos na lista, que tem "q" ou "p" e, em seguida, capitalizar todas as letras ...
Qual a diferença entre runghk e runhaskell?
RWH de repente começou a usar runhaskell em vez de runghc. Qual é a diferença? Tanto quanto eu posso dizer, eles funcionam da mesma forma.
Lambda para expressões de tipo em Haskell?
Haskell, ou um compilador específico, tem algo como lambdas no nível de tipo (se é que é mesmo um termo)? Para elaborar, digamos que eu tenha um tipo parametrizadoFoo a b e querFoo _ b para ser uma instância de, digamos, Functor. Existe algum ...
Como posso escrever esta instância GEq?
Eu tenho tipos de dadosTup2List eGTag (da resposta paraComo posso produzir um tipo de tag para qualquer tipo de dados para uso com o DSum, sem o ...
Recursão da cauda em Haskell
Estou tentando entender a recursão da cauda em Haskell. Acho que entendo o que é e como funciona, mas gostaria de ter certeza de que não estou estragando tudo. Aqui está a definição fatorial "padrão": factorial 1 = 1 factorial k = k * factorial ...
Como projetar uma pilha monádica?
Como você projeta e constrói suas pilhas monádicas? Pela primeira vez eu preciso construir uma pilha monádica (usando transformadores) para resolver um probl...
Como codificar possíveis transições de estado no tipo?
Estou tentando replicar em Haskell esse pedaço de código Idris, que impõe o seqüenciamento correto de ações por meio de tipos: data DoorState = DoorClosed | DoorOpen data DoorCmd : Type -> DoorState -> DoorState -> Type where Open : DoorCmd () ...
Teste Haskell IO
Eu tenho tentado descobrir se já existe um método aceito para testar operações de arquivo io em Haskell, mas ainda não encontrei nenhuma informação que seja ...