Preguntas etiquetadas con haskell

No puedo entender por qué aparentemente m1 está memorizado mientras que m2 no está en lo siguiente: m1 = ((filter odd [1..]) !!) m2 n = ((filter odd [1..]) !! n) m1 10000000 tarda aproximadamente 1,5 segundos en la primera llamada, y una fracción de eso en las llamadas posteriores …

106 haskell  ghc  memoization 

¿Qué es la clase de tipo Comonad en Haskell? Como en Comonad de Control.Comonad en el paquete comonad (también se agradecen las explicaciones de cualquier otro paquete que proporcione una clase de tipo Comonad). He oído hablar vagamente de Comonad, pero todo lo que realmente sé es que proporciona extract …

105 haskell  typeclass  comonad 

Recientemente descubrí que los agujeros de tipo combinados con la coincidencia de patrones en las pruebas brindan una experiencia bastante agradable al estilo de Agda en Haskell. Por ejemplo: {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies, UndecidableInstances, GADTs, TypeOperators #-} data (==) :: k -> k -> * where Refl :: x …

105 haskell  dependent-type 

En su forma actual, 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 …

104 haskell  comparison  lisp  language-comparisons 

Mientras resolvía algunos problemas del Proyecto Euler para aprender Haskell (por lo que actualmente soy un principiante) me encontré con el Problema 12 . Escribí esta solución (ingenua): --Get Number of Divisors of n numDivs :: Integer -> Integer numDivs n = toInteger $ length [ x | x<-[2.. ((n …

104 haskell  performance  profiling 

La seguridad de tipos de Haskell es insuperable solo para los lenguajes de escritura dependiente. Pero hay algo de magia profunda sucediendo con Text.Printf que parece bastante inestable . > printf "%d\n" 3 3 > printf "%s %f %d" "foo" 3.3 3 foo 3.3 3 ¿Cuál es la magia profunda …

104 haskell  printf  variadic-functions  polyvariadic 

Los tipos de datos algebraicos (ADT) en Haskell pueden convertirse automáticamente en instancias de algunos tipos de clases (comoShow,Eq) derivando de ellos. data Maybe a = Nothing | Just a deriving (Eq, Ord) Mi pregunta es, ¿cómo funciona esto deriving , es decir, cómo sabe Haskell cómo implementar las funciones …

104 haskell  typeclass  derived-types  derived-instances  deriving 

Tengo tres funciones que encuentran el enésimo elemento de una lista: nthElement :: [a] -> Int -> Maybe a nthElement [] a = Nothing nthElement (x:xs) a | a <= 0 = Nothing | a == 1 = Just x | a > 1 = nthElement xs (a-1) nthElementIf :: …

104 haskell  if-statement  case 

Ayer me enteré de una nueva herramienta de Haskell llamada Stack . A primera vista, parece que hace el mismo trabajo que Cabal. Entonces, ¿cuál es la diferencia entre ellos? ¿Es stack un reemplazo para Cabal? ¿En qué casos debería usar Stack en lugar de Cabal? ¿Qué puede hacer Stack …

104 haskell  cabal  haskell-stack 

Cerrado . Esta pregunta debe estar más enfocada . Actualmente no acepta respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que se centre en un solo problema editando esta publicación . Cerrado hace 5 años . Mejora esta pregunta Los lenguajes funcionales son buenos porque evitan errores al eliminar …

103 haskell  f#  functional-programming 

Comportamiento actual Prelude> show _ <interactive>:7:6: Found hole ‘_’ with type: a0 Where: ‘a0’ is an ambiguous type variable Relevant bindings include it :: String (bound at <interactive>:7:1) In the first argument of ‘show’, namely ‘_’ In the expression: show _ In an equation for ‘it’: it = show _ …

103 haskell  types  ghc 

map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m b ¿Por qué tenemos tres funciones diferentes que hacen esencialmente lo mismo?

102 list  haskell  monads  redundancy  functor 

Acabo de comenzar un nuevo proyecto de Haskell y quería configurar un buen flujo de trabajo de prueba desde el principio. Parece que Haskell tiene muchas herramientas de prueba excelentes y únicas y muchas formas diferentes de integrarlas. He mirado en: HUnit Comprobación rápida press de banca HPC complejidad Todos …

101 testing  haskell 

En F #, el uso del operador pipe-forward`` |>es bastante común. Sin embargo, en Haskell solo he visto cómo (.)se usa la composición de funciones,. Entiendo que están relacionados , pero ¿hay alguna razón lingüística por la que no se use pipe-forward en Haskell o es algo más?

100 haskell  f#  functional-programming  composition 

En lenguajes funcionales puros como Haskell, ¿existe un algoritmo para obtener la inversa de una función, (editar) cuando es biyectiva? ¿Y hay una forma específica de programar su función para que sea así?

100 haskell  clojure  functional-programming  ocaml