Resultados da pesquisa a pedido "haskell"
Operador Haskell vs precedência de função
Estou tentando verificar algo sobre mim mesmo sobre precedência de operador e função em Haskell. Por exemplo, o seguinte código list = map foo $ xspode ser reescrito como list = (map foo) $ (xs)e eventualmente será list = map foo xsMinha ...
Por que não consigo definir um novo tipo em ghci?
Eu recebo um erro no ghci quando tento definir um novo tipo: Prelude> data Point = Pt Int Int <interactive>:1:0: parse error on input `data' Prelude> let data Point = Pt Int Int <interactive>:1:4: parse error on input `data'O que estou fazendo ...
Haskell: Como criar a função mais genérica possível que aplica uma função aos itens da tupla
Este é um exercício pessoal para entender um pouco melhor os limites do sistema de tipos de Haskell. Quero criar a função mais genérica possível que aplique alguma função a cada entrada em uma tupla de 2 entradas, por exemplo: applyToTuple fn ...
Fluxo de trabalho de teste Haskell
Acabei de iniciar um novo projeto Haskell e queria configurar um bom fluxo de trabalho de teste desde o início. Parece que Haskell tem muitas ferramentas de teste excelentes e exclusivas e muitas maneiras diferentes de integrá-las. Eu olhei ...
A equação tem um número diferente de argumentos
Fiz esses tipos de dados para representar guias de guitarra e estou tentando escrever oshow para imprimi-los como guias de guitarra reais.datas não são minha especialidade e estou tendo problemas para combinar os tipos. O erro é As equações ...
MaybeT e transações no runDb
Para minha pergunta anterior sobre falhas de encadeamento, Michael Snoyman sugeriu que eu usasseMaybeT executá-los, se algum deles falhar, ele apenas entrará em curto-circuito paraNothing. Estava com a impressãorunDb executa tudo em uma ...
Preencher uma lista de tuplas de maneira semântica
Estou trabalhando em um pedaço de código no qual tenho que processar listas de tuplas em que a ordem e os nomes das "chaves" (fsts das tuplas) correspondem a um determinado modelo. Estou implementando a tolerância a falhas validando e ...
Qual é a relação entre tipos sem caixa e rigidez?
Tipos sem caixa, comoInt#e funções estritas, comof (!x) = ..., são algo diferente, mas vejo semelhança conceitual - eles proíbem thunks / preguiça de alguma forma. Se Haskell fosse uma linguagem estrita como Ocaml, todas as funções seriam ...
Como aplico o raciocínio indutivo ao `GHC.TypeLits.Nat`?
Considere esta definição dezip para o comprimento usual dos vetores indexados pelos algarismos Peano: {-# language DataKinds #-} {-# language KindSignatures #-} {-# language GADTs #-} {-# language TypeOperators #-} {-# language ...
Leitura e gravação em arquivo em Haskell
Estou tentando ler o conteúdo de um arquivo, transformar o texto em maiúsculas e, em seguida, escrevê-lo novamente. Aqui está o código que eu havia escrito: import System.IO import Data.Char main = do handle <- openFile "file.txt" ReadWriteMode ...