¿Cómo puedo hacer que esqueleto genere una cadena SQL a partir de una fromdeclaración? La documentación de toRawSqldice que "puede activar el registro de consultas de persistente". Intenté todas las formas posibles de MonadLoggereso que pude entender, pero nunca imprimí ningún SQL. La misma...
Tal como está actualmente, esta pregunta no se ajusta bien a nuestro formato de preguntas y respuestas. Esperamos que las respuestas estén respaldadas por hechos, referencias o experiencia, pero es probable que esta pregunta solicite debate, argumentos, encuestas o una discusión...
Dado : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Quiero hacer Stringuna instancia de Fooable: instance Fooable String where toFoo = FooString GHC luego se queja: Illegal instance declaration for `Fooable String'...
Escribí este pequeño fragmento de Haskell para descubrir cómo GHC demuestra que para los números naturales, solo puedes dividir a la mitad los pares: {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeFamilies #-} module Nat where data Nat = Z | S Nat data Parity = Even | Odd type family...
Veo gomucho cuando leo material o fuente de Haskell, pero nunca me he sentido realmente cómodo con eso (supongo que tiene la connotación negativa de "goto" en mi mente). Empecé a aprender Haskell con LYAH, y ahí fue donde adquirí la tendencia al uso accy stepal escribir pliegues. ¿De dónde...
Estoy buscando explicaciones realmente simples y fáciles de entender de los esquemas de recursividad y esquemas de corecursion (catamorfismos, anamorfismos, hilomorfismos, etc.) que no requieran seguir muchos enlaces o abrir un libro de texto de teoría de categorías. Estoy seguro de que he...
Las clases de tipos de Haskell de la biblioteca estándar MonadPlus, Alternativey Monoidcada una proporciona dos métodos con esencialmente la misma semántica: Un valor vacío: mzero, emptyo mempty. Un operador a -> a -> aque une los valores de la clase de tipos juntos: mplus, <|>o...
¿Cómo puedo definir el equivalente de esta función (tomada de learnyouahaskell ) dentro de GHCi? import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub Sin la declaración de tipo, GHCi acepta la definición de la función, pero termina con un tipo...
¿En qué situaciones se debe liftIOutilizar? Cuando estoy usando ErrorT String IO, la liftfunción funciona para elevar las acciones de IO ErrorT, por lo que liftIOparece superflua.
Happstack Lite se me está rompiendo porque está recibiendo la versión 0.5 de blaze-html y quiere la versión 0.4. Cabal dice que están instaladas ambas versiones 0.4.3.4 y 0.5.0.0. Quiero eliminar 0.5.0.0 y usar solo la versión anterior. Pero Cabal no tiene un comando de "desinstalación", y...
Es bien sabido que los functores aplicativos están cerrados bajo composición, pero las mónadas no. Sin embargo, he tenido problemas para encontrar un contraejemplo concreto que muestre que las mónadas no siempre componen. Esta respuesta da [String -> a]como ejemplo de una no mónada. Después...
Quiero hacer algo en Haskell que se vea así: main1 = do s <- getLine if s == "foo" then putStr "You entered foo" Obviamente, esto no es legal ya que no existe else. Una alternativa en la que he pensado: nop :: IO () nop = sequence_ [] main2 = do s <- getLine if s == "foo" then...
Leo mucho este término en blogs sobre haskell y programación funcional (especialmente en el blog de sigfpe ) pero no tengo ni idea de lo que significa. La mayoría de las veces me salgo con la suya sin saberlo, pero probablemente habría entendido los textos mucho mejor si lo hubiera sabido....
Como indica el título de la pregunta, quiero saber qué es el polimorfismo Levity y cuál es su motivación. Sé que esta página tiene algunos detalles, pero la mayoría de las explicaciones allí se me pasan por alto. :) Si bien esta página es un poco más amigable, todavía no puedo entender la...
Tal como está actualmente, esta pregunta no se ajusta bien a nuestro formato de preguntas y respuestas. Esperamos que las respuestas estén respaldadas por hechos, referencias o experiencia, pero es probable que esta pregunta solicite debate, argumentos, encuestas o una discusión...
¿Alguien podría explicarme los lentes funcionales? Es un tema sorprendentemente difícil para Google y no he progresado. Todo lo que sé es que proporcionan una funcionalidad de obtención / configuración similar a la de OO.
Dado cualquier tipo de contenedor, podemos formar el Zipper (centrado en elementos) y saber que esta estructura es un Comonad. Esto se exploró recientemente con maravilloso detalle en otra pregunta de Stack Overflow para el siguiente tipo: data Bin a = Branch (Bin a) a (Bin a) | Leaf a deriving...
Necesito una función que obtenga dos Ints ( ay b) y devuelva A/Bcomo Int. Estoy seguro de que A/Bsiempre será un número entero. Aquí está mi solución: myDiv :: Int -> Int -> Int myDiv a b = let x = fromIntegral a y = fromIntegral b in truncate (x / y) Pero quiero encontrar una...
Soy un gran admirador de Stephen Wolfram, pero él definitivamente no es tímido para tocar su propia bocina. En muchas referencias, ensalza Mathematica como un paradigma de programación simbólica diferente. No soy un usuario de Mathematica. Mis preguntas son: ¿qué es esta programación simbólica?...
Necesito ayuda para comprender el uso de las tres funciones de Haskell probar ( Control.Exception.try :: Exception e => IO a -> IO (Either e a)) atrapar ( Control.Exception.catch :: Exception e => IO a -> (e -> IO a) -> IO a) manejar ( Control.Exception.handle :: Exception e...