Resultados de la búsqueda a petición "haskell"
Problema al instalar Snap en macOS Sierra
Tengo problemas para instalar Haskell Framework Snap en macOS Sierra. Cada vez que lo instalo, recibo el siguiente mensaje: Resolving dependencies... Configuring securemem-0.1.9... Configuring skein-1.0.9.4... Configuring configurator-0.3.0.0... ...
¿Cuál es el beneficio de la estructura de datos puramente funcional?
Hay una gran cantidad de textos sobre estructuras de datos y bibliotecas de código de estructuras de datos. Entiendo que la estructura de datos puramente funcional es más fácil de razonar. Sin embargo, tengo problemas para comprender la ventaja ...
Cómo traducir la notación lógica a la sintaxis de Haskell
Recientemente recogí a Haskell en la universidad y estoy trabajando en un conjunto de ejercicios, aquí hay un fragmento de uno que no puedo entender: "Considere la siguiente gramática para un lenguaje de calculadora de prefijo simple:" num ::= ...
¿Cuál es la alternativa preferida a Fin de Idris en Haskell?
Me gustaría tener un tipo que pueda contener valores de 0 a n, donde n vive en el nivel de tipo. Estaba intentando algo como: import GHC.TypeLits import Data.Proxy newtype FiniteNat n = FiniteNat { toInteger :: Integer } smartConstructFiniteNat ...
¿Cómo hacer que los valores ilegales sean irrepresentables? [duplicar]
Esta pregunta ya tiene una respuesta aquí: Tipo entero positivo [/questions/11910143/positive-integer-type] 6 respuestasUn método de diseño en la programación funcional eshaciendo que los estados ilegales sean ...
Haskell: la función de composición con dos argumentos flotantes falla
Estoy tratando de componer una función de tipo(Floating a) => a -> a -> a con una función de tipo(Floating a) => a -> a para obtener una función de tipo(Floating a) => a -> a -> a. Tengo el siguiente código: test1 :: (Floating a) => a -> a -> a ...
¿Puedo limitar el uso de memoria por función / mónada / hilo en Haskell?
Estoy trabajando en un proyecto de compilación de investigación destinado a funcionar como un servicio. Uno de los requisitos es que ciertos usuarios pueden tener un uso de memoria limitado (por ejemplo, "llamadas desde IPa B C D puede usar hasta ...
Convertir IO Int a Int
He creado un cuadro combinado al convertir unxmlWidget a uncomboBox con la funcióncastTocomboBox y ahora quiero obtener el texto o el índice del elemento activo. El problema es que si uso elcomboBoxGetActive función devuelve unIO Int resultado y ...
¿Cómo pueden las instancias indecidibles realmente colgar el compilador?
Para cuando leí por primera vez en seriocrítica a-XUndecidableInstances [https://lukepalmer.wordpress.com/2008/04/08/stop-using-undecidable-instances/], Ya me había acostumbrado por completo, viéndolo simplementeeliminación de una restricción ...
Bibliotecas de expresiones regulares y cadenas en Haskell
Estoy tratando de introducir a Haskell en mi vida diaria usándolo para escribir guiones incidentales y cosas así. readProcess [http://hackage.haskell.org/package/process-1.2.0.0/docs/System-Process.html#v%3areadProcess] es útil para obtener los ...