Resultados de la búsqueda a petición "haskell"
Lista basada en la extensión Kan correcta
En el ``Extensiones Kan para la optimización del programa [http://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf]'' por Ralf Hinze, existe la definición del tipo Lista basada en la extensión Kan correcta del functor olvidadizo de la categoría de monoides en ...
Buena representación de funciones recursivas primitivas en Haskell
Discutí en elresponder a una pregunta anterior [https://stackoverflow.com/a/27217795/414413]que es posible representar en Haskell la unión delfunciones recursivas primitivas [http://en.wikipedia.org/wiki/Primitive_recursive_function](PRF) y el ...
Devuelve la primera línea de una cadena en Haskell
Tengo una pregunta bastante simple en la que estoy perplejo. Básicamente, solo tengo que escribir una función que tome una cadena, la divida en líneas, tome la primera línea y devuelva la primera línea en la etiqueta de título HTML con el formato ...
Crear una instancia de clase Num
Soy relativamente nuevo en aprender haskell. Tengo el siguiente tipo de datos abstractos data Scalar = Scalar Integer deriving (Eq, Show)Quiero poder hacer la siguiente operación en el tipo Scaler: > (Scalar 10) + 1 > Scalar 11Para hacer esto ...
¿Cuál es la diferencia entre los constructores de valores y las tuplas?
Esta escrito [https://www.haskell.org/haskellwiki/Constructor#Notes_and_tips]que las tuplas de Haskell son simplemente una sintaxis diferente para los tipos de datos algebraicos. Del mismo modo, hay ejemplos de cómo redefinir constructores de ...
¿Cómo funcionan los lenguajes de programación funcional?
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 datos para el caso?) Por ejemplo: ¿cómo se traduciría esta ...
¿Por qué Haskell no acepta argumentos después de una composición de función?
Dado que las funciones de Haskell tienen solo un argumento, donde el resto de argumentos permanecen como lambdas, entonces podemos hacer esto: foo a b = a + b -- this is like foo a = \b -> a + b foo 1 2 -- okBueno, noté que si declaro que la ...
Excepción en tiempo de ejecución al intentar imprimir un carácter Unicode
Char es el tipo de caracteres Unicode en Haskell yString es simple[Char] (es decir, una lista deChar artículos). Aquí hay un código simple: main = putStrLn "©" -- Unicode stringEste código se compila bien, pero obtengo la excepción de tiempo de ...
MonadBaseControl: cómo levantar ThreadGroup
Enhilos [https://hackage.haskell.org/package/threads]paquete en módulo Control.Concurrent.Thread.Group [https://hackage.haskell.org/package/threads/docs/Control-Concurrent-Thread-Group.html] hay una funciónforkIO: forkIO :: ThreadGroup -> IO α ...
¿Es posible un rosal monádico perezoso y ancho primero?
Data.Tree incluyeunfoldTreeM_BF yunfoldForestM_BF funciona para construir árboles primero en amplitud utilizando los resultados de acciones monádicas. La carpeta de árbol se puede escribir fácilmente usando la carpeta de bosque, así que me ...