Resultados de la búsqueda a petición "haskell"
¿Por qué no puede (totalmente) aplicar un sinónimo de tipo que tiene argumentos utilizando otro sinónimo de tipo?
Podemos definir sinónimos de tipo con argumentos y esto funciona bien cuando se usa con tipos reales: type MyType t = t String String data Test a b = Test a b f :: MyType Test f = undefined main = undefinedCompilar esto no produce errores: $ghc ...
¿Desventaja de los productos de tipo no levantado?
En Haskell, los productos de tipo elevado significan que hay una diferencia semántica entre (a, b, c) y (a, (b, c)). Si todas las coincidencias de patrones de todos los productos siempre fueran irrefutables, entonces no habría diferencia, y (a, ...
¿Existe una forma automática de memorizar valores polimórficos globales en Haskell?
"Constantes" polimórficas, como5 :: Num a => a, no son realmente constantes sino funciones de un argumento de diccionario. Por lo tanto, si define primes :: Num n => [n] primes = ...Mal ejemplo, por supuesto, no hay una buena razón aquí para ...
¿Cómo puedo construir un ThreadId dado que sé el número real?
A menudo me sucede cuando depuro o juego en GHCi que conozco el verdaderoThreadId número (por ejemplo, de usarDebug.Trace), pero eso es todo lo que tengo. El problema es que todas las API de subprocesos, comokillThread requiere unThreadId y no ...
¿Qué sucede con los hilos infantiles cuando sus padres mueren en GHC Haskell?
La documentación paraforkIO dice GHC note: the new thread inherits the masked state of the parent (see mask). The newly created thread has an exception handler that discards the exceptions BlockedIndefinitelyOnMVar, BlockedIndefinitelyOnSTM, and ...
Cómo convertir la secuencia de escape Unicode a cadena Unicode en Haskell
Tengo una cuerda como"\3619\3657\3634\3609\3648\3592\3657\3648\3621\3657\3591" que quiero decodificar Intenté buscar en la biblioteca Unicode sin éxito.
Orden de acciones de E / S incorrecto usando putStr y getLine
Tengo el siguiente código: main = do putStr "Test input : " content <- getLine putStrLn contentCuando lo ejecuto (conrunhaskell) o compilarlo (ghc 6.10.4) el resultado es así: asd Test input : asdPor que esTest input : asd ser impreso ...
Uso práctico de funciones curry?
Hay toneladas de tutoriales sobre cómo curry funciones, y tantas preguntas aquí en stackoverflow. Sin embargo, después de leer The Little Schemer, varios libros, tutoriales, publicaciones de blog y subprocesos de stackoverflow, todavía no sé la ...
Restricción de clase de tipo en instancias de familias de tipos
¿Es posible especificar una restricción de clase de tipo que deben cumplir todas las instancias de una familia de tipos? Por ejemplo, dada la siguiente declaración, ¿cómo me aseguraría de que todas las instancias también sean instancias ...
Convertir de notación de flecha
Todavía estoy tratando de entender los paralelismos entre la notación de flecha y la semántica de las clases de tipo Flecha definidas en Haskell. En particular, esta ...