Resultados da pesquisa a pedido "haskell"
A inferência de tipo de uma função no GHCi difere da carregada de um arquivo
Eu escrevi uma funçãoadd' notest.hs: add' = \x y -> x + yEntão eu carregueitest.hs no GHCi (versão 7.8.3) e digitado:t add' para assistir que tipoadd' é. O resultado parece incorreto: *Main> :t add' add' :: Integer -> Integer -> IntegerMas se ...
Você pode criar funções que retornam funções de uma aridade dependente em um idioma de tipo dependente?
Pelo que sei sobre tipos dependentes, acho que deveria ser possível, mas nunca vi um exemplo disso antes em uma linguagem de tipo dependente, por isso não sei exatamente por onde começar. O que eu quero é uma função do formulário: f : [Int] -> ...
Como vincular o arquivo de objeto personalizado à biblioteca Haskell?
Eu criei um pacote Haskell que faz chamadas de FFI para funções definidas no código CUDA. Gostaria de compilar o arquivo .cu para um arquivo de objeto (.o) durante a compilação do pacote e forçar o vinculador a vinculá-lo. Até agora, tentei usar ...
Verificando o entendimento de: "Variável" vs. "Valor" e "função" vs "abstração"
(Esta pergunta é um acompanhamento deeste [https://stackoverflow.com/questions/25327705/is-function-a-sort-of-variable/25329157#25329157] enquanto estudava Haskell.) Eu costumava achar a noção entre "variável" e "valor" confusa. Portanto, ...
Reorganize um conduíte em pedaços maiores usando combinadores
Eu estou tentando construir umConduit que recebe como entradaByteStrings (de cerca de 1 kb por pedaço de tamanho) e produz como saída concatenadaByteStrings de pedaços de 512kb. Parece que deve ser fácil de fazer, mas estou tendo muitos ...
Como buracos e contextos podem ser implementados para tipos mais avançados em uma biblioteca uniplate de estilo de lente?
András Kovács propôs esta perguntaem resposta a uma resposta a uma pergunta anterior. [https://stackoverflow.com/questions/25355570/simplifying-a-gadt-with-uniplate/25389564#comment39600628_25389564] Em uma biblioteca uniplate no estilo de lente ...
Qual é a diferença entre uma lista cíclica e uma lista infinita em haskell?
Referenciando a resposta do @ dfeuer a esta pergunta:Maneira menos cara de construir uma lista cíclica em Haskell [https://stackoverflow.com/questions/25374736/least-expensive-way-to-construct-cyclic-list-in-haskell] , que diz que o uso de listas ...
Não é possível instalar o sdl2 via cabal
Estou tentando instalarhelm. Quando tento instalá-lo, no entanto, recebo este erro: $ cabal install helm Resolving dependencies... Configuring sdl2-1.1.0... cabal: The pkg-config package 'sdl2' version >=2.0.3 is required but it could not ...
Zíperes Comonadas, Genericamente
Dado qualquer tipo de contêiner, podemos formar o Zipper (focado no elemento) e saber que essa estrutura é uma Comonad. Isso foi recentemente explorado em detalhes maravilhosos emoutra pergunta Stack ...
Tipos de tipo superior com C ++
Esta pergunta é para as pessoas que conhecem o Haskell (ou qualquer outra linguagem funcional que suporte tipos mais avançados) e C ++ ... É possível modelar tipos mais altos usando modelos C ++? Se sim, então ...