Preguntas etiquetadas con haskell

Recientemente completé un curso universitario que incluía Haskell y Agda (un lenguaje de programación funcional de tipo dependiente), y me preguntaba si era posible reemplazar el cálculo lambda en estos con lógica combinatoria. Con Haskell, esto parece posible usando los combinadores S y K, lo que lo hace sin puntos. …

87 haskell  types  functional-programming  logic  agda 

Esta parte del código de Haskell se ejecuta mucho más lento con -O, pero no -Odebería ser peligrosa . ¿Alguien puede decirme qué pasó? Si importa, es un intento de resolver este problema , y usa búsqueda binaria y árbol de segmento persistente: import Control.Monad import Data.Array data Node = …

87 haskell  optimization  ghc  compiler-bug 

Estaba un poco confundido por la documentación de fix(aunque creo que entiendo lo que se supone que debe hacer ahora), así que miré el código fuente. Eso me dejó más confundido: fix :: (a -> a) -> a fix f = let x = f x in x ¿Cómo devuelve …

87 haskell  fixpoint-combinators  letrec 

En GHCi: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: ¿Por qué el primero no es una excepción anidada?

86 exception  haskell 

¿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 documentación también dice "usar manualmente esta …

86 haskell  yesod  esqueleto 

Al compilar mi aplicación Haskell con la -Wallopción, GHC se queja de instancias huérfanas, por ejemplo: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result La clase de tipo ToSElemno es mía, está definida por HStringTemplate . Ahora sé cómo solucionar esto (mueva la declaración de la instancia al módulo donde se …

86 haskell  ghc  typeclass 

Estoy tratando de entender qué está haciendo el operador de puntos en este código de Haskell: sumEuler = sum . (map euler) . mkList El código fuente completo está a continuación. Mi punto de vista El operador de punto toma las dos funciones sumy el resultado de map eulery el …

86 haskell  syntax  function-composition 

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 …

85 haskell  programming-languages 

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' (All instance …

85 haskell  ghc  typeclass  type-systems 

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

84 haskell  ghc  proof  haskell-platform  formal-verification 

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 …

83 haskell  naming-conventions 

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 mappend. Los tres especifican …

83 haskell  functional-programming  typeclass  applicative  monoids 

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 reinventado muchos de estos esquemas inconscientemente y …

83 haskell  recursion  functional-programming  recursion-schemes 

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 cuando lo intento …

82 haskell  ghc  cabal 

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 de jugar un poco con …

82 haskell  monads  composition  proof