Resultados da pesquisa a pedido "haskell"
Como analisar um sinalizador opcional como um valor Talvez?
Estou tentando usaroptparse-applicative [https://hackage.haskell.org/package/optparse-applicative-0.11.0.2]para analisar umMaybe String mas não consigo encontrar em nenhum lugar como lidarMaybe. A única coisa que encontrei foi adicionar um valor ...
Iteração de um algoritmo aleatório em espaço fixo e tempo linear
Eu costumava fazer uma pergunta semelhanteuma vez [https://stackoverflow.com/questions/2236829/composing-monad-actions-with-folds] . Agora vou ser mais específico. O objetivo é aprender um idioma Haskell para escrever algoritmos iterativos com ...
Por que o mapa retorna um elemento adicional ao usar intervalos no Haskell?
Comecei a aprender Haskell e descobri uma coisa estranha. Vamos ter uma lista: ghci> [0,2..5] [0,2,4]Possui 3 elementos. Quando eu usomap com esta lista, recebo 3 elementos como saída, por exemplo: ghci> map (+ 1) [0,2..5] [1,3,5] ghci> map (* ...
Haskell: Como se pronuncia <*>? [fechadas]
Como você pronuncia essas funções na classe Tipo de letra aplicável: (<*>) :: f (a -> b) -> f a -> f b (*>) :: f a -> f b -> f b (<*) :: f a -> f b -> f a(Ou seja, se eles não fossem operadores, como poderiam ser chamados?) Como uma nota ...
Contagem de numeração dentro de uma função recursiva
Eu quero fazer algo como: >enumerate ["banana", "potato", "ice"] [(1, "banana"), (2, "potato"), (3, "ice")]Eu escrevi: enumerate :: [String] -> [(Int, String)] enumerate [] = []Como posso controlar / gerenciar o contador int? Existe uma maneira ...
tipo de soma haskell erro de declaração múltipla
data A=A data B=B data AB=A|BO que cria um tipo de soma AB de A e B. mas a última linha induz um erro de compilação "várias declarações de B" Eu também tentei sth assim: data A=Int|BoolCompila. mas por que o ghc me impede de criar tipos de ...
A recursão polimórfica de Haskell com mapas compostos causa erro de tipo infinito
Qual é a maneira correta de criar uma função que pode criar dinamicamente um mapa composto? Isso resulta em um erro (também acontece com o fmap): createComposedMaps list = accumulate list map where accumulate (x:xs) m = accumulate xs (m.map) ...
Qual é o papel de 'bottom' (⊥) nas definições de função Haskell?
Eu não entendo o papel desempenhado porbottom [https://wiki.haskell.org/Bottom] (⊥ ou_|_) nas definições de função Haskell. A definição dezip [http://hackage.haskell.org/package/base-4.8.1.0/docs/Prelude.html#v:zip]por exemplo, descreve-o como ...
Haskell: Especificando Restrições de Comprimento Igual a Listas no Sistema de Tipos
Em Haskell, muitas vezes tenho uma função comof, que aceita uma lista e retorna uma lista de igual comprimento: f :: [a] -> [a] -- length f(xs) == length xsDa mesma forma, eu posso ter uma função comog, que aceita duas listas que devem ter o ...
Como entender a assinatura do tipo Haskell para o operador '&&&' do Control.Arrow
Estou tentando entender como Haskell estáControl.Arrowé&&& [https://hackage.haskell.org/package/base-4.8.1.0/docs/Control-Arrow.h,tml#v:-38--38--38-] funciona, mas temo estar a ponto de me perder. Especificamente, estou confuso (como iniciante) ...