En Real World Haskell , Capítulo 4. sobre Programación funcional : Escriba foldl con foldr: -- file: ch04/Fold.hs myFoldl :: (a -> b -> a) -> a -> [b] -> a myFoldl f z xs = foldr step id xs z where step x g a = g (f a x) El código anterior me confundió mucho, y alguien...
Mientras estoy aprendiendo Haskell, veo que hay muchas extensiones de lenguaje que se usan en el código de la vida real. Como principiante, ¿debo aprender a usarlos o debo evitarlos a toda costa? Veo que rompe la compatibilidad con Haskell 98 y limita el código a prácticamente solo GHC. Sin...
Según tengo entendido, las funciones parciales son funciones que obtenemos al pasar menos parámetros a una función de lo esperado. Por ejemplo, si esto fuera directamente válido en Python: >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>>...
Actualmente estoy trabajando en un intérprete simple para un lenguaje de programación y tengo un tipo de datos como este: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr Y tengo muchas funciones que hacen cosas simples como: -- Substitute a value for a...
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 el Modetipo como una...
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...
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 ->...
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...
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 :: ((a -> b) -> b) -> Either a b to = ??? tal...
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 "asumimos...
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
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 de tipo debe ser una instancia...
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...
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 | ... | 7 hexit → dígito |...
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...
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 por favor darme un poco de...
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,
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, but version...
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 sea espacio debe...
Estaba vagando por la Sección restringida de la Biblioteca Haskell y encontré estos dos hechizos viles: {- System.IO.Unsafe -} unsafeDupablePerformIO :: IO a -> a unsafeDupablePerformIO (IO m) = case runRW# m of (# _, a #) -> a {- Data.ByteString.Internal -} accursedUnutterablePerformIO ::...