Perguntas com a marcação «haskell»

No módulo System.Info, vejo estas funções: os :: String arch :: String compilerName :: String compilerVersion :: Version Por que não há IOlá? Eles estão acessando o sistema ... Estou errado? Minha expectativa era algo como: os :: IO String arch :: IO String compilerName :: IO String compilerVersion :: …

25 haskell 

Suponha que eu tenha um parâmetro que exista apenas para o benefício do sistema de tipos, por exemplo, como neste pequeno programa: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> …

22 haskell  phantom-types 

Estou aprendendo os candidatos de Haskell. Parece-me (provavelmente estou errado) que a purefunção não é realmente necessária, por exemplo: pure (+) <*> [1,2,3] <*> [3,4,5] pode ser escrito como (+) <$> [1,2,3] <*> [3,4,5] Alguém pode explicar o benefício que a purefunção fornece sobre o mapeamento explícito fmap?

19 haskell  applicative 

Esta questão não é subjetiva. Um verbo muito específico é usado no livro referenciado, e eu gostaria de entender qual é a implicação dessa frase, porque temo estar entendendo mal alguma coisa. De Learn You a Haskell , o parágrafo a seguir é o terceiro e o último que contém …

18 haskell 

Proposições (P -> Q) -> Qe P \/ Qsão equivalentes. Existe uma maneira de testemunhar essa equivalência em Haskell: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> b to …

18 haskell  logic 

Para mim, parece que você sempre pode passar argumentos de função em vez de usar uma classe de tipo. Por exemplo, em vez de definir a classe de classe de igualdade: class Eq a where (==) :: a -> a -> Bool E usá-lo em outras funções para indicar o …

16 haskell  functional-programming  higher-order-functions 

Esta questão é uma questão teórica sobre funções Haskell que pode receber argumentos de qualquer tipo. Existe uma diferença entre a maneira como funciona com as assinaturas de tipo de a -> b -> a e c -> a -> c são instanciados? Qualquer ajuda é apreciada.

16 haskell  functional-programming 

Atualmente, estou estudando o Haskell e tento entender um projeto que usa o Haskell para implementar algoritmos criptográficos. Depois de ler on - line Aprenda um Haskell para o Bem , comecei a entender o código nesse projeto. Então eu descobri que estou preso no seguinte código com o símbolo …

15 haskell  symbols  operator-keyword  as-pattern 

Como exercício, estou escrevendo um analisador para Haskell do zero. Ao fazer o lexer, observei as seguintes regras no Relatório Haskell 2010 : dígito → ascDigit | uniDigit ascDigit → 0| 1| ... 9 uniDigit → qualquer dígito decimal Unicode octit → 0| 1| ... 7 hexágono → dígito | …

15 haskell  syntax  language-lawyer  literals 

Muitos tipos de óptica têm uma representação de van Laarhoven. Por exemplo, um Lensdo tipo Lens s t a b pode ser representado como: Functor f => (a -> f b) -> s -> f t Da mesma forma a Traversal, pode ser representado de maneira semelhante, trocando a Functorrestrição …

15 scala  haskell  functional-programming  lenses  monocle-scala 

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 …

14 haskell  cabal  haskell-stack 

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 …

14 haskell 

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

14 haskell  functional-programming  fold 

Ao calcular IO (IO ()), ambos (IO ())e ()é calculado, então por que main :: IO (IO ()) main = print <$> (print "Hello, World!") impressão "Hello, World!" não IO "Hello, World!" -- ?? "Hello, World!"

14 haskell 

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 accursedUnutterablePerformIO (IO m) …

13 haskell  io  unsafe  unsafe-perform-io