Preguntas etiquetadas con haskell

Encontré un pequeño problema estético en mi proyecto de música y me ha estado molestando durante algún tiempo. Tengo un tipo data Key = C | D | ...y puedo construir a Scalede a Keyy a Mode. El Modedistingue entre, por ejemplo, una escala mayor y una menor. Puedo definir …

39 haskell  dsl 

En el módulo System.Infoveo estas funciones: os :: String arch :: String compilerName :: String compilerVersion :: Version ¿Por qué no hay IOallí? Están accediendo al sistema ... ¿Me equivoco? Mi expectativa era algo así como: os :: IO String arch :: IO String compilerName :: IO String compilerVersion :: …

25 haskell 

Supongamos que tengo un parámetro que existe solo para el beneficio del sistema de tipos, por ejemplo, como en este pequeño 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 

Estoy aprendiendo los aplicantes de Haskell. Me parece (probablemente estoy equivocado) que la purefunción no es realmente necesaria, por ejemplo: pure (+) <*> [1,2,3] <*> [3,4,5] Se puede escribir como (+) <$> [1,2,3] <*> [3,4,5] ¿Alguien puede explicar el beneficio que pureproporciona la función sobre el mapeo explícito fmap?

19 haskell  applicative 

Esta pregunta no es subjetiva. Se utiliza un verbo muy específico en el libro de referencia, y me gustaría entender cuál es la implicación de esa redacción, porque me temo que estoy malinterpretando algo. De Learn You a Haskell , el siguiente párrafo es el tercero y último que contiene …

18 haskell 

Propuestas (P -> Q) -> Qy P \/ Qson equivalentes. ¿Hay alguna manera de presenciar esta equivalencia en 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 mí, parece que siempre puedes pasar argumentos de función en lugar de usar una clase de tipos. Por ejemplo, en lugar de definir la clase de tipo de igualdad: class Eq a where (==) :: a -> a -> Bool Y usarlo en otras funciones para indicar el argumento …

16 haskell  functional-programming  higher-order-functions 

Esta pregunta es una pregunta teórica sobre las funciones de Haskell que pueden tomar argumentos de cualquier tipo. ¿Hay alguna diferencia entre la forma en que funciona con las firmas de tipo de a -> b -> a y c -> a -> c son instanciados? Cualquier ayuda es apreciada.

16 haskell  functional-programming 

Actualmente estoy estudiando Haskell e intento entender un proyecto que utiliza Haskell para implementar algoritmos criptográficos. Después de leer Learn You a Haskell for Great Good en línea, empiezo a comprender el código de ese proyecto. Luego descubrí que estoy atascado en el siguiente código con el símbolo "@": -- …

15 haskell  symbols  operator-keyword  as-pattern 

Como ejercicio, estoy escribiendo un analizador para Haskell desde cero. Al hacer el lexer, noté las siguientes reglas en el Informe Haskell 2010 : dígito → ascDigit | uniDigit ascDigit → 0| 1El | ... | 9 uniDigit → cualquier dígito decimal Unicode octit → 0| 1El | ... | …

15 haskell  syntax  language-lawyer  literals 

Muchos tipos de óptica tienen una representación de Van Laarhoven. Por ejemplo, un Lenstipo Lens s t a b puede representarse como: Functor f => (a -> f b) -> s -> f t Del mismo modo Traversal, a , se puede representar de manera similar, intercambiando la Functorrestricción por …

15 scala  haskell  functional-programming  lenses  monocle-scala 

En mi proyecto Haskell cuando yo stack run, muestra lo siguiente, pero aún se ejecuta. ¿Qué advertencia es esta? ¿Cómo puedo deshacerme de él? 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, …

14 haskell  cabal  haskell-stack 

Tengo un ejercicio en el que tengo que definir un tipo para representar una lista con 0 a 5 valores. Primero pensé que podría resolver esto de forma recursiva así: data List a = Nil | Content a (List a) Pero no creo que este sea el enfoque correcto. ¿Puedes …

14 haskell 

Real World Haskell, capítulo 4, página 98 de la impresión pregunta si wordsse puede implementar usando pliegues, y esta es mi pregunta también: ¿Es posible? Si no, ¿por qué? Si es así, ¿cómo? Se me ocurrió lo siguiente, que se basa en la idea de que cada espacio que no …

14 haskell  functional-programming  fold 

Al calcular IO (IO ()), ambos (IO ())y ()se calculan, entonces ¿por qué? main :: IO (IO ()) main = print <$> (print "Hello, World!") impresión "Hello, World!" no IO "Hello, World!" -- ?? "Hello, World!"

14 haskell