haskell

14El calor

2Respuesta

Fundeps y GADT: ¿Cuándo es decidible la verificación de tipo?

Estaba leyendo un trabajo de investigación sobre Haskell y cómo se implementa HList y me pregunto cuándo las técnicas descritas son y no son decidibles para el verificador de tipos. Además, como puede

19El calor

8Respuesta

¿Cuál es la forma más sencilla de escribir aplicaciones web en Haskell?

Me gustaría utilizar Haskell más para mis proyectos, y creo que si puedo empezar a usarlo para aplicaciones web, realmente ayudaría a esa causa. He intentado happs una o dos veces, pero tuve problemas

6El calor

4Respuesta

Crear proceso en segundo plano en ventanas sin ventana de consola visible

¿Cómo creo un proceso en segundo plano con Haskell en Windows sin que se haya creado una ventana de comando visible? Escribí un programa Haskell que ejecuta procesos de copia de seguridad periódicamen

8El calor

5Respuesta

Haskell operador de diferencia de lista en F #

¿Hay un operador equivalente al operador de diferencia de lista de Haskell \\ en F #?

13El calor

6Respuesta

¿Cómo creo un identificador en memoria en Haskell?

Quiero algo que se asemeje a un manejador de archivo, pero realmente está respaldado por un búfer en memoria para usar en redireccionamientos de E/S. ¿Cómo puedo hacer esto?

6El calor

1Respuesta

Make Test.QuickCheck.Batch utiliza un tipo predeterminado para probar funciones de lista

Estoy probando una función llamada extracciones que opera sobre cualquier lista. extractions :: [a] -> [(a,[a])] extractions [] = [] extractions l = extract l [] where extract [] _ = []

11El calor

3Respuesta

exposición sobre flechas en haskell

¿Cuál sería un buen lugar para entender las flechas? Idealmente, estoy buscando un lugar con una definición concisa con la motivación de algunos buenos ejemplos, algo similar a la exposición de Wadler

34El calor

6Respuesta

¿Hay alguna herramienta ORM para Haskell?

¿Cuál es la mejor manera de interactuar con una base de datos utilizando Haskell? Estoy acostumbrado a usar algún tipo de ORM (ORM de Django, Hibernate, etc.) y algo similar sería bueno al crear aplic

22El calor

14Respuesta

Idiomas no C++ para programación generativa?

C++ es probablemente el lenguaje más popular para static metaprogramming y Java doesn't support it. ¿Hay otros lenguajes además de C++ que admitan programación generativa (programas que crean programa

18El calor

5Respuesta

¿Cómo se hace una función de memoria genérica en Haskell?

He visto the other post about this, pero ¿hay una forma clara de hacerlo en Haskell? Como segunda parte, ¿también se puede hacer sin hacer la función monádica?