Resultados de la búsqueda a petición "haskell"
Type abstracción en GHC Haskell
Me encantaría obtener el siguiente ejemplo de verificación de tipo: {-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Foo where f :: Int -> (forall f. Functor ...
Flujos de bits eficientes en Haskell
n un esfuerzo continuo por manipular eficientemente los bits (por ejemplo, vea esteSO pregunta [https://stackoverflow.com/questions/43601927/efficient-bit-fiddling-in-a-lfsr-implementation] ) el desafío más nuevo es la transmisión eficiente y el ...
Haskell: Posible solución: agregue (Eq a) al contexto de
Soy un poco nuevo en Haskell y me cuesta entender qué tiene de malo mi código aquí. Esto es lo que se supone que debo hacer: onsidere la siguiente definición de un árbol binario data BinaryTree a = Empty | Node a (BinaryTree a) (BinaryTree ...
¿Qué caracteres están permitidos en los nombres de funciones de Haskell?
¿Cuál es un nombre válido para una función? Ejemplos -- works let µ x = x * x let ö x = x * x -- doesn't work let € x = x * x let § x = x * x No estoy seguro, pero mi presentimiento es que Haskell no permite nombres de funciones Unicode, ...
¿Cuál es un ejemplo explícito de una mónada sin transformador de mónada? [duplicar
Esta pregunta ya tiene una respuesta aquí: Existe una mónada que no tenga un transformador de mónada correspondiente (excepto IO)? [/questions/24515876/is-there-a-monad-that-doesnt-have-a-corresponding-monad-transformer-except-io] 4 ...
¿Por qué Haskell no tiene una Mónada I (solo para entrada, a diferencia de la mónada IO)?
Conceptualmente, parece que un cálculo que realiza la salida es muy diferente de uno que realiza solo la entrada. Este último es, en cierto sentido, mucho más puro. I, por mi parte, me gustaría tener una manera de separar las partes de ...
Haskell: salida inesperada para la expresión [0, 0.1 .. 1]
Al evaluar la expresión: *main> [0, 0.1 .. 1] En realidad esperaba: [0, 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9, 1] Pero estaba bastante sorprendido de ver la salida ...
Monoidal Functor es aplicativo, pero ¿dónde está la clase de monoide en la definición de aplicativo?
Applicative es un Fundador monoidal: mappend :: f -> f -> f $ :: (a -> b) -> a -> b <*> :: f(a -> b) -> f a -> f b Pero no veo ninguna referencia sobre Monoid en la definición de la clase de tipo Aplicativo, ¿podría decirme por qué? Definición ...
Cuál es la diferencia entre los diferentes ordenamientos de los mismos transformadores de mónada?
stoy intentando definir una API para expresar un tipo particular de procedimiento en mi programa. newtype Procedure a = { runProcedure :: ? }Hay estado, que consiste en una asignación de ID a registros: type ID = Int data Record = { ... } type ...
Do declaración bajo una cláusula where
Estoy tratando de convertirIO [String] a[String] con<- Unión; sin embargo, necesito usar unado bloque para hacer eso bajo unwhere, pero Haskell se queja de la sangría todo el tiempo. Aquí está el código: decompEventBlocks :: IO [String] -> IO ...