Resultados de la búsqueda a petición "haskell"
¿Es posible la programación funcional de la GUI? [cerrado]
Recientemente detecté el error FP (tratando de aprender Haskell), y realmente me impresionó lo que he visto hasta ahora (funciones de primera clase, evaluación perezosa y todos los demás beneficios). Todavía no soy un experto, pero ya ...
El verificador de tipo permite un reemplazo de tipo muy incorrecto, y el programa aún compila
Mientras intentaba depurar un problema en mi programa (2 círculos con un radio igual se dibujan en diferentes tamaños usando Gloss), me topé con una situación extraña. En mi archivo que maneja objetos, tengo la siguiente definición ...
¿Por qué deberíamos usar Comportamiento en FRP?
Estoy aprendiendo plátano reactivo. Para entender la biblioteca, he decidido implementar una aplicación ficticia que aumentaría un contador cada vez que alguien presiona un botón. La biblioteca de IU que estoy usando es Gtk pero eso no es ...
¿Por qué no se considera el contexto al seleccionar la instancia de typeclass en Haskell?
Entiendo que al tener instance (Foo a) => Bar a instance (Xyy a) => Bar aGHC no considera los contextos, y las instancias se informan como duplicadas. Lo que es contrario a la intuición es que (supongo) después de seleccionar una instancia, aún ...
¿Por qué este código Haskell nunca termina?
Recientemente escribí un código de Haskell y nunca termina. Después de examinar cuidadosamente mi código, el problema se redujo a la siguiente pieza de código main :: IO () main = print $ let a = 10 in let a = a in a :: IntSupongo que esto debe ...
¿Cómo se implementan las listas en Haskell (GHC)?
Solo tenía curiosidad sobre algunos detalles exactos de implementación de las listas en Haskell (las respuestas específicas de GHC están bien): ¿son listas ingenuas vinculadas o tienen alguna optimización especial? Más ...
Escriba firmas que nunca tengan sentido
Considerar (a->a) -> [a] -> Bool¿Hay alguna definición significativa para esta firma? Es decir, ¿una definición que no simplemente ignora el argumento? x -> [a] -> BoolParece que hay muchas firmas que se pueden descartar de inmediato.
Emacs Org-Mode y Literate Haskell
En el modo org, una línea que comienza con dos puntos se formatea como código fuente. (http://orgmode.org/manual/Literal-examples.html [http://orgmode.org/manual/Literal-examples.html] ) En Haskell alfabetizado, las líneas de código fuente ...
Polimorfismo Orientado a Objetos en Haskell
Así que he visto preguntas que preguntan cómo se hace la programación orientada a objetos en Haskell, comoesta [https://stackoverflow.com/questions/20184286/object-oriented-programming-in-haskell] por ejemplo. Para lo cual la respuesta está en la ...
cabal install cabal-install errores en linux
Estoy usando Linux (Centos 6.6). Cuando intento ejecutar el comando cabal install cabal-install obtengo los siguientes errores cabal: cannot configure unix-2.7.0.1. It requires base >=4.5 && <4.8 For the dependency on base >=4.5 && <4.8 there ...