Perguntas com a marcação «haskell»

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 …

12 haskell 

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 = …

12 haskell  algebraic-data-types 

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á …

12 haskell  composition  higher-order-functions  function-composition  pointfree 

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 maneira. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 …

12 haskell  floating-point  ghc  ghci 

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 existam solicitações …

12 haskell  language-lawyer  lazy-evaluation  semantics  unit-type 

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 …

11 haskell  monads  continuations  category-theory  comonad 

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 uma Styleclasse …

11 haskell  raku 

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 …

11 haskell  roles  coerce 

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 como: class HasSum a where getSum :: a -> Integer instance HasSum Integer where getSum = …

10 haskell  f# 

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 correspondentes dizem que existe algum tipo que não sabemos qual é o tipo …

10 haskell  gadt  existential-type 

Com restrições quantificadas, posso derivar Eq (A f)muito bem? No entanto, quando tento derivar Ord (A f), ele falha. Eu não entendo como usar restrições quantificadas quando a classe de restrição tem uma superclasse. Como derivar Ord (A f)e outras classes que têm superclasses? > newtype A f = A …

10 haskell  typeclass  derived-class  quantified-constraints 

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 where import Control.Concurrent import Control.Exception …

10 haskell  haskell-stack 

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 de lista, mas há várias funções que usam …

10 haskell 

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, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances …

10 haskell  typeclass  functional-dependencies  type-level-computation 

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 entender uma citação específica do palestrante sobre o …

10 haskell