Eu tenho um exercício em que tenho que definir um tipo para representar uma lista com 0 a 5 valores. Primeiro, pensei que poderia resolver isso recursivamente assim: data List a = Nil | Content a (List a) Mas não acho que essa seja a abordagem correta. Você pode, por favor, me dar um...
No meu projeto Haskell quando eu stack run, ele está mostrando o seguinte, mas ainda é executado. Que aviso é esse? Como posso me livrar disso? Stack has not been tested with GHC versions above 8.6, and using 8.8.2, this may fail Stack has not been tested with Cabal versions above 2.4, but version...
O Mundo Real Haskell, capítulo 4, página 98 da impressão pergunta se wordspode ser implementado usando dobras, e esta é minha pergunta também: É possível? Se não, por que? Se for, como? Eu vim com o seguinte, que é baseado na ideia de que cada não-espaço deve ser anexado à última palavra na lista...
Eu estava vagando na Seção Restrita da Biblioteca Haskell e encontrei esses dois feitiços vis: {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal -} accursedUnutterablePerformIO :: IO a...
A seasonfunção usa funções algébricas, mas sinto que o código é repetitivo. Como faço para torná-lo o mais curto possível? data Month = Jan | Feb | Mar | Apr | May | June | July | Aug | Sept| Oct | Nov | Dec deriving (Eq,Ord,Show,Read) data Seasons = Spring | Summer | Autumn | Winter deriving...
Este é o código que encontrei em algum lugar, mas quero saber como isso funciona: findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) Saída: findIndices (== 0) [1,2,0,3,0]==[2,4] , onde predestá...
Assim como o título diz: que garantias existem para que uma unidade de retorno da função Haskell seja avaliada? Alguém poderia pensar que não há necessidade de executar qualquer tipo de avaliação nesse caso; o compilador poderia substituir todas essas chamadas por um ()valor imediato, a menos que...
Em ghci, quando digito :t (-) para descobrir o tipo de (-), ele retorna (-) :: Num a => a -> a -> a No entanto, quando escrevo, -1haskell retorna um número, o que parece implicar que (-)é do tipo Num a => a -> a. Como (-)aparentemente pode ter dois tipos
Por que o GHCi fornece respostas incorretas abaixo? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 ATUALIZAÇÃO Eu implementaria a função de Haskell (^) da seguinte...
Como a mônada do estado pode ser fatorada em Produto (Esquerdo - Functor) e Leitor (Direito - Representável). Existe uma maneira de fatorar a Mônada de Continuação? Abaixo o código é a minha tentativa, que não digita check -- To form a -> (a -> k) -> k {-# LANGUAGE...
Estou escrevendo um pacote de desenho com algumas peças e tenho operadores e tipos de dados espalhados por toda parte. No entanto, eu não quero que os usuários adicionem os módulos correspondentes todas as vezes, pois seria muito complicado, por exemplo, eu teria uma Pointclasse, uma Monoidfunção e...
Eu tenho um tipo Id ae estou tentando evitar a coação acidental, por exemplo, um Id Doublepara um Id Int. Se eu entendo as funções de digitação corretamente, o seguinte não deve ser compilado. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id...
type BSTree a = BinaryTree a data BinaryTree a = Null | Node (BinaryTree a) a (BinaryTree a) deriving Show flattenTree :: BinaryTree a -> [a] flattenTree tree = case tree of Null -> [] Node left val right -> (flattenTree left) ++ [val] ++ (flattenTree right) isBSTree :: (Ord a)...
Estou tentando criar uma função F # que retornará a soma de uma lista de ints de aninhamento arbitrário. Ou seja. funcionará para a list<int>, a list<list<int>>e a list<list<list<list<list<list<int>>>>>>. Em Haskell, eu escreveria algo...
Atualmente, estou lidando com uma função que é assim: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) Em outras palavras, dada uma lista, ela usa os seis primeiros elementos para algo e, se a lista tiver menos de seis elementos, será usada defcomo substituta dos que estão...
Recentemente, comecei a aprender Haskell porque queria ampliar meu conhecimento em programação funcional e devo dizer que estou realmente amando isso até agora. O recurso que estou usando atualmente é o curso 'Haskell Fundamentals Part 1' sobre Pluralsight. Infelizmente, tenho dificuldade em...
Estou tentando entender os tipos existentes em Haskell e me deparei com um PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Corrija meus entendimentos abaixo que tenho até agora. Tipos existentes não parecem estar interessados no tipo que eles contêm, mas os padrões...
Um bom fato verdadeiro sobre concatenação é que, se eu conhecer duas variáveis na equação: a ++ b = c Então eu conheço o terceiro. Gostaria de capturar essa ideia em minha própria concat, para usar uma dependência funcional. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances,...
Recentemente, estive enfrentando situações em que preciso passar uma função predicada para outra função, e muitas vezes a lógica que estou procurando é essencialmente "esse valor corresponde a esse padrão?" A correspondência de padrões parece ser preferida em declarações, doblocos e compreensões...
Estou vendo um comportamento muito estranho, onde a bracketfunção de Haskell está se comportando de maneira diferente, dependendo de ser stack runou stack testnão usada. Considere o código a seguir, onde dois colchetes aninhados são usados para criar e limpar contêineres do Docker: module Main...