Resultados da pesquisa a pedido "haskell"
Por que a classe Functor não possui função de retorno?
Do ponto de vista categórico, functor é par de dois mapas (um entre objetos e outro entre setas de categorias), seguindo alguns axiomas. Eu presumi que o que toda instância do Functor é semelhante à definição matemática, ou seja, pode mapear ...
O programa Haskell gera `` <<loop>> `
Eu escrevi um programa Haskell que pré-forma uma pesquisa binária em uma lista. Pelo menos é o que eu pensei que faz. Quando eu compilei o programa comghc v7.6.3 e executei o programa, obtive a seguinte saída: progname: <<loop>>O que diabos essa ...
É possível obter um tipo de expressão usando o Template Haskell?
Dada uma expressãofoo, Eu poderia declarar uma função de nível superior bar = fooe obtenha o tipo defoo ComoType porreificação [http://hackage.haskell.org/package/template-haskell-2.8.0.0/docs/Language-Haskell-TH.html#g:4] bar: case reify 'bar ...
Conhecimento comum sobre desempenho de haskell [fechado]
Olá Haskellers por aí! Tenho a sensação de que as perguntas sobre desempenho surgem com mais frequência e que o conhecimento sobre quais funções / algoritmos / bibliotecas são rápidas e estáveis é escasso. Claro que existem bibliotecas ...
Haskell: Use -XFlexibleContexts para permitir isso?
Meu código da seguinte maneira: calcstep ::Integral a => a -> a calcstep n = calcstep2 n 0 calcstep2 :: Integral (Integral a, Integral b) => a -> b -> a calcstep2 1 k = k calcstep2 n k | odd n = calcstep2 (n/2) (k+1) | otherwise = calcstep2 ...
GHC: exibição de caracteres unicode
Além da minha primeira pergunta sobre o gerenciamento dos caracteres unicode na produção do arquivo .exe, este também é um bug no GHC? > print "Frère" "Fr\233re"
É possível introduzir variáveis de tipo adicionais em uma restrição de superclasse?
Ao lidar com famílias de tipos, geralmente é útil usar restrições de igualdade para evitar a necessidade de repetir o nome de alguma função de tipo em uma assinatura: class Foo f where type BulkyAssociatedType f :: * foo :: BulkyAssociatedType ...
subsequências de comprimento n do desempenho da lista
Eu implementei uma versão desta resposta https://stackoverflow.com/a/9920425/1261166 [https://stackoverflow.com/a/9920425/1261166](Não sei o que a pessoa estava pretendendo) sublistofsize 0 _ = [[]] sublistofsize _ [] = [] sublistofsize n (x : ...
atribuição de auto-referência ghci
Eu estava aprendendo um novo Haskell hoje, quando tentei algo em ghci. Basicamente, tudo se resumia a isso: Prelude> let x = 6 Prelude> x 6 Prelude> let y = show x Prelude> y "6" Prelude> let x = show x Prelude> ...
Haskell: versão de recursão da cauda da profundidade da árvore binária
Primeiro de tudo, tenho duas implementações diferentes que acredito serem corretas, e as criei um perfil e pensando que são sobre o mesmo desempenho: depth::Tree a -> Int depth Empty = 0 depth (Branch b l r) = 1 + max (depth l) (depth r) ...