Resultados da pesquisa a pedido "haskell"
Como executar o Haskell no OSX El Capitan
Acabei de atualizar para o Mac OSX El Capitan ontem, descobrindo que o método usado para executar o Haskell no terminal não funciona mais. Eu costumava executar o Haskell no terminal digitandocd (the path where my .hs file is in)e digiteghcie, ...
Biblioteca Haskell como SymPy? [fechadas]
Preciso manipular expressões como 1 + sqrt (3) e fazer aritmética básica como adição, subtração e divisão. Gostaria que o resultado estivesse em algum tipo de forma canônica, para que possa ser usado como chave em um mapa. Transformar 1 + sqrt ...
Como usar "-ddump-minimal-imports" com pilha
Eu sou tão fã de pilha, que removi completamente qualquer executável cabal e ghc independente da minha máquina (deixando a pilha instalar o que for necessário em seu próprio e misterioso diretório ~ / .stack /). No entanto, parece que alguns ...
O que significa => em uma assinatura de tipo?
Eu apenas começandoAprenda um Haskell, e vi isso usado em um exemplo sem explicação: tell :: (Show a) => [a] -> StringO que isso significa, em particular o=>? Eu sei que não vai funcionar se eu substituir-> ou exclua-o, mas realmente não ...
Como o 'seq' de Haskell é diferente de outras funções?
Estou confuso sobre a descrição de como Haskellseq trabalha em umtutorial estou lendo [https://hackhands.com/lazy-evaluation-works-haskell/]. O tutorial afirma que avaliando a expressãoseq x y avaliará primeirox ao WHNF e só então continue ...
Existe alguma maneira de separar listas infinitas e finitas?
Por exemplo, estou escrevendo alguma função para listas e quero usar a função length foo :: [a] -> Bool foo xs = length xs == 100Como alguém pode entender que essa função pode ser usada com listas infinitas ou não? Ou devo sempre pensar em ...
Haskell: As variáveis de tipo nas cláusulas "where" estão no mesmo espaço para nome dos pais?
No fragmento a seguir (abstraí todas as outras partes triviais) data T s = T (s -> s) foo :: T s -> s -> s foo (T f) x = bar x where bar :: s -> s bar a = f aEu tenho o seguinte erro Couldn't match expected type `s1' with actual type `s' `s1' ...
Quando a minha expressão Haskell é avaliada?
Se eu definir λ> data Bar = Bar Int deriving Show λ> data Foo = Foo Bar deriving Showe λ> let foo = trace "foo" Foo (trace "bar" Bar 100) λ> let two = trace "two" 2 λ> let g (Foo x) y = yentão eu acho que entendo porque eu recebo λ> g foo two ...
O que é predicatividade?
Tenho uma intuição bastante decente sobre os tipos que Haskell proíbe como "impredicativos": ou seja, aqueles em que umforall aparece em um argumento para um construtor de tipo diferente de->. Mas exatamente o que é predicatividade? O que o torna ...
Enquanto em loop em Haskell
Como codificar o seguinte pseudo-código em Haskell? x=0 for (i from 0 to 100): j=0 while ( f(i,j) >0 ): x+= f(i,j) j+=1(f alguma função sem importância.) Eu vim com algo assim: a= [x| i<-[0..100], let s = takeWhile (\k-> (f i k > 0)) [0..], ...