Resultados de la búsqueda a petición "haskell"
¿Cuál es la relación entre los tipos sin caja y la rigurosidad?
Tipos sin caja, comoInt#y funciones estrictas, comof (!x) = ..., son algo diferente, pero veo similitudes conceptuales: de alguna manera, rechazan los thunks / la pereza. Si Haskell fuera un lenguaje estricto como Ocaml, cada función sería ...
Quizás T y Transacciones en runDb
Para mi pregunta anterior sobre el encadenamiento de fallas, Michael Snoyman me sugirió que usaraMaybeT para ejecutarlos, de modo que si alguno de ellos falla, se producirá un cortocircuito paraNothing. estaba bajo la impresionrunDb ejecuta todo ...
Mónada de continuación para una función de rendimiento / espera en Haskell
Quiero crear un tipo de autómata con un tipo como este: newtype Auto i o = Auto {runAuto :: i -> (o, Auto i o)}Sé que este es el tipo deFlecha de ...
Usos para la función de identificación de Haskell
¿Cuáles son los usos parafunción de identificación [http://www.zvon.org/other/haskell/Outputprelude/id_f.html]en Haskell?
Plantilla Haskell: ¿Hay una función (o sintaxis especial) que analiza una Cadena y devuelve Q Exp?
Estoy tratando de aprender un poco de Template Haskell y Quasi Quotation, y estoy buscando una función que tome unString y lo analiza aQ Exp, entonces el tipo es: String -> Q ExpIntenté buscar hoogle, pero los resultados que vi tenían que ...
¿Cómo uso la codificación de la Iglesia para mónadas gratis?
He estado usando elFree tipo de datos enControl.Monad.Free desde elfree paquete. Ahora estoy tratando de convertirlo para usarF enControl.Monad.Free.Church pero no puedo entender cómo mapear las funciones. Por ejemplo, una función de ...
¿Cómo puedo construir cabal-install en eeePc 701 / Ubuntu Netbook Remix 1.6 (Lucid)
No es una pregunta de programación, pero la primera vez que veo algo así. UNR 1.6 (basado en Ubuntu 10.04) instala la versión 6.12.1 de GHC. Entonces, para construir cabal-install-0.8.2, tengo que instalar los paquetes libghc6 de parsec, mtl, ...
¿Por qué usamos tuplas, si podemos usar una lista bidimensional?
¿Hay algún beneficio en reservar específicamente parejas de tipos de datos variados para tuplas como estas: [(23, "Jordan"), (8, "Bryant")]A diferencia de solo usar una lista bidimensional: [[23, "Jordan"], [8, "Bryant"]]Sé que el segundo ...
¿Es habitual que las redes de interacción dejen montones de ventiladores redundantes?
Estoy compilando términos de cálculo lambda en redes de interacción para evaluarlos usando el algoritmo abstracto de Lamping. Para probar mi implementación, utilicé esta función de división de número de iglesia: div = (λ a b c d . (b (λ e . (e ...
¿Por qué no es `join` parte de la clase` Monad` [duplicado]
Esta pregunta ya tiene una respuesta aquí: ¿Por qué la unión es independiente, en lugar de ser parte de la implementación mínima de la clase de tipos ...