haskell

20El calor

1Respuesta

¿Cómo implementar un bucle de juego en plátano reactivo?

Esta pregunta es específica de las simulaciones de plátano reactivo y en tiempo real con un componente físico y visual (por ejemplo, juegos). De acuerdo con Fix Your Timestep!, la forma ideal de confi

haskell reactive-banana 2012-10-02

---

51El calor

2Respuesta

¿Por qué es malo?

Haskell tiene una función mágica llamada seq, que toma un argumento de cualquier tipo y lo reduce a Forma normal de cabeza débil (WHNF). He leído un par de fuentes [no es que yo puedo recordar lo que

haskell lazy-evaluation 2012-10-02

---

5El calor

2Respuesta

Definición de estructuras de datos recursivas

Estoy tratando de aprender Haskell, pensando que sería el lenguaje perfecto para implementar Combinatorial Game Theory. He hecho esto hasta cierto punto en Python para enseñarme los principios de OOP

math haskell 2012-10-02

---

5El calor

1Respuesta

¿Puedo usar un GHC más reciente con la plataforma Haskell actual?

Tengo la última plataforma Haskell (2012.2.0.0) 64 bits OSX. Pero ... me encontré con un issue with the 64bit compiler on Mac, lo que significa que yesod devel se bloquea tan pronto como se inicia. No

haskell ghc 2012-10-02

---

7El calor

2Respuesta

En Haskell ¿cómo puedo tomar un predicado m-ary y un predicado n-ary y construir un predicado (m + n) -ary?

Hoy jugué con el uso de clases de tipos para construir inductivamente funciones de un predicado de cualquier aridad tomando como entradas cualquier combinación de cualquier tipo, que devuelva otros pr

haskell typeclass polyvariadic 2012-10-03

---

7El calor

1Respuesta

restricción polimórfico

tengo algún tipo artificial: {-# LANGUAGE DeriveFunctor #-} data T a = T a deriving (Functor) ... y ese tipo es la instancia de alguna clase artificial: class C t where toInt :: t -> Int in

haskell types 2012-10-03

---

13El calor

2Respuesta

¿Por qué los archivos ejecutables de Haskell/GHC son tan grandes en tamaño de archivo?

Duplicar posible: Small Haskell program compiled with GHC into huge binary Hace poco se dio cuenta de lo grande que son ejecutables Haskell. Todo a continuación fue compilado en GHC 7.4.1 con -O2 en L

haskell compilation ghc 2012-10-04

---

56El calor

3Respuesta

¿Qué son skolems?

Eeek! ¡GHCi encontró Skolems en mi código! ... Couldn't match type `k0' with `b' because type variable `b' would escape its scope This (rigid, skolem) type variable is bound by the type si

haskell types type-variables 2012-10-04

---

12El calor

1Respuesta

¿Cómo funciona el paquete de restricciones?

La idea detrás de Data.Constraint.Forall, según tengo entendido, es utilizar la coerción en la implementación, pero garantizar la seguridad mediante el sistema de tipos. Tengo dos preguntas con respec

haskell polymorphism logic 2012-10-04

---

23El calor

4Respuesta

¿Qué significa generalmente cuando un accesoador de registro Haskell conduce con un guión bajo?

Un ejemplo de la biblioteca HaskellNet: data MailboxInfo = MboxInfo { _mailbox :: MailboxName , _exists :: Integer , _recent :: Integer , _flags :: [Flag] ,

haskell 2012-10-05

---