Preguntas etiquetadas con haskell

¿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.

82 haskell  monad-transformers 

¿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 inútil: Prelude Data.List> …

82 haskell  types  ghci  function-declaration 

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 …

81 haskell  functional-programming  metaprogramming  terminology  reification 

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 …

81 haskell 

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 …

81 haskell  syntax  io 

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 …

80 haskell  zipper  deriving  comonad 

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 extensa. Si cree que esta pregunta se puede mejorar …

80 haskell 

¿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.

80 haskell  functional-programming  lenses 

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 …

79 haskell  int 

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 …

79 haskell  recursion  fold 

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 => …

79 haskell  exception-handling 

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? ¿Y cómo se compara con los …

79 programming-languages  haskell  functional-programming  wolfram-mathematica 

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 …

78 haskell  ghc 

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) >>> new_function(2) 3 En el fragmento anterior, new_functiones una función …

55 python  haskell  functional-programming  partial-application  partial-functions 

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 …

50 haskell  functional-programming  dry  code-duplication  recursive-type