Si los lenguajes de programación funcionales no pueden guardar ningún estado, ¿cómo hacen cosas simples como leer la entrada de un usuario? ¿Cómo "almacenan" la entrada (o almacenan cualquier dato para el caso?) Por ejemplo: ¿cómo se traduciría esta simple cosa de C en un lenguaje de...
Hackage tiene varios paquetes para transformadores de mónadas: mtl : biblioteca de transformadores Monad transformadores : functor de hormigón y transformadores de mónada monads-fd : clases de mónadas , usando dependencias funcionales monads-tf : clases de mónadas , utilizando familias de...
Al mirar a través del Preludio de Haskell, veo una función const : const x _ = x Parece que no puedo encontrar nada relevante con respecto a esta función. ¿Cuál es el punto de? ¿Alguien puede dar un ejemplo de dónde podría usarse esta función?
Estoy trabajando en Escriba usted mismo un esquema en 48 horas (estoy hasta aproximadamente 85 horas) y he llegado a la parte sobre cómo agregar variables y asignaciones . Hay un gran salto conceptual en este capítulo, y desearía que se hubiera hecho en dos pasos con una buena refactorización en...
¿Alguien puede decirme por qué Haskell Prelude define dos funciones separadas para exponenciación (es decir, ^y **)? Pensé que se suponía que el sistema de tipos eliminaría este tipo de duplicación. Prelude> 2^2 4 Prelude> 4**0.5 2.0
Mientras leía https://en.uncyclopedia.co/wiki/Haskell (e ignorando todas las cosas "ofensivas"), me encontré con el siguiente código ofuscado: fix$(<$>)<$>(:)<*>((<$>((:[{- thor's mother -}])<$>))(=<<)<$>(*)<$>(*2))$1 Cuando ejecuto ese fragmento...
Un ejercicio de programación clásico es escribir un intérprete Lisp / Scheme en Lisp / Scheme. Se puede aprovechar el poder del idioma completo para producir un intérprete para un subconjunto del idioma. ¿Existe un ejercicio similar para Haskell? Me gustaría implementar un subconjunto de...
Todos sabemos (o deberíamos saber) que Haskell es vago por defecto. Nada se evalúa hasta que deba evaluarse. Entonces, ¿cuándo se debe evaluar algo? Hay puntos en los que Haskell debe ser estricto. A estos los llamo "puntos de rigor", aunque este término en particular no está tan extendido como...
En mi trabajo reciente con Gibbs sampling, he estado haciendo un gran uso del RVarcual, en mi opinión, proporciona una interfaz casi ideal para la generación de números aleatorios. Lamentablemente, no he podido utilizar Repa debido a la imposibilidad de utilizar acciones monádicas en los...
Descubrí el comando "time" en Unix hoy y pensé en usarlo para verificar la diferencia en tiempos de ejecución entre funciones recursivas normales y recursivas de cola en Haskell. Escribí las siguientes funciones: --tail recursive fac :: (Integral a) => a -> a fac x = fac' x 1 where fac'...
Estoy tratando de visualizar algunos sistemas físicos automáticos simples (cosas como péndulos, brazos robóticos, etc.) en Haskell. A menudo, esos sistemas pueden describirse mediante ecuaciones como df/dt = c*f(t) + u(t) donde u(t)representa algún tipo de "control inteligente". Esos sistemas...
En general, he escuchado que el código de producción debería evitar el uso de E / S diferidas. Mi pregunta es, ¿por qué? ¿Alguna vez está bien usar Lazy I / O además de jugar? ¿Y qué hace que las alternativas (por ejemplo, los enumeradores) sean mejores?
Cerrado . Esta pregunta se basa en opiniones . Actualmente no acepta respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda responderse con hechos y citas editando esta publicación . Cerrado hace 2 años . Mejora esta...
He estado haciendo desarrollo en F # por un tiempo y me gusta. Sin embargo, una palabra de moda que sé que no existe en F # es tipos de tipo superior. He leído material sobre tipos de clase alta y creo que entiendo su definición. No estoy seguro de por qué son útiles. ¿Alguien puede proporcionar...
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 esto exactamente un punto fijo? Decidí probarlo...
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...
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...
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 resultado de...
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...
En GHCi: Prelude> error (error "") *** Exception: Prelude> (error . error) "" *** Exception: *** Exception: ¿Por qué el primero no es una excepción anidada?