Resultados de la búsqueda a petición "haskell"
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 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 ...
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 ...
Aplicar parcialmente varias funciones en Haskell
Supongamos que, en Haskell, tengo un montón de funciones que dependen del mismo tipo de parámetro: f :: Par -> a -> b g :: Par -> b -> cA medida que escribo más de estas funciones que aún dependen de este tipo de parámetro, puedo hacer algo ...
Haskell comprueba si el movimiento diagonal del tablero de ajedrez es Verdadero o Falso [cerrado]
Estoy tratando de escribir una función de juego de mesa de tablero 4x5 y quiero hacer una función Bool verdadera verdadera falsa que indique si el movimiento basado en las coordenadas x, y es diagonal o no. Quiero poner 4 coordenadas 2 x y 2 y. ...
Ninguna instancia para (Núm. A) derivada del uso de Haskell "+"
No puedo entender por qué esto no funcionará: final' :: [a] -> a final' lst = foldl(\accum x -> accum - accum + x) 0 lst Siempre recibo el error No hay instancia para (Núm. A) derivada del uso de "+"
Agregar dos funciones juntas en Haskell
Hola, soy nuevo en Haskell y me encontré con un problema interesante, pero no estaba muy seguro de cómo resolverlo. Estoy a punto de mostrarle solo dos partes de la pregunta como ejemplo. La pregunta es que debemos ingresar un número entre 13 y ...
¿Es `data PoE a = Empty | ¿Emparejar a a` a mónada?
Esta pregunta proviene de esta respuesta enejemplo de un functor que es aplicativo pero no una mónada [https://stackoverflow.com/a/49703783/412549]: Se afirma que el data PoE a = Empty | Pair a a deriving (Functor,Eq)no puede tener una ...
Cómo crear listas (o matrices) de canales en Haskell, como Go
Estoy tratando de comparar Haskell con Go para algunos ejemplos de concurrencia, el siguiente código es un ejemplo simple de reducción de mapas en Go usando Goroutines y canales. El siguiente código Go calcula la suma de cuadrados: 1 ^ 2 + 2 ^ 2 ...