haskell

5El calor

3Respuesta

Cómo mostrar un constructor en minúsculas

Supongamos que quisiera crear un nuevo tipo de datos y mostrar los constructores, solo en minúsculas en lugar de su definición en mayúscula. Por ejemplo: data Day = Monday | Tuesday | Wednesday| Thurs

13El calor

1Respuesta

¿Cómo se obtiene Show para el tipo definido en la biblioteca de otra persona?

Estoy usando una biblioteca de Haskell para OAuth y el autor no derivó Mostrar para un tipo que estoy usando y me gustaría poder imprimir para la depuración. Me gustaría obtener Show para ello. ¿Hay a

16El calor

3Respuesta

¿Cómo decirle a QuickCheck que genere solo índices de listas válidos para un parámetro?

Digamos que quiero escribir algunas pruebas de unidad para la función (!!). my_prop xs n = ... que desea restringir n a sólo índices válidos y sé que podría hacer algo como my_prop xs n = (not.null)

20El calor

3Respuesta

¿Cuál es el equivalente a (+1) para la resta, ya que (-1) se ve como un número negativo?

Duplicar posible: Currying subtraction empecé mi primer proyecto Haskell que no es de un tutorial, y por supuesto que tropiecen en las cosas más simples. Tengo el siguiente código: moveUp y = modifyMV

9El calor

2Respuesta

Recursividad observable (o vinculante) en Flechas

Estoy tratando de encontrar una forma de traducir la notación recursiva normal como como | fib | función debajo de una flecha, conservando la mayor cantidad posible de la estructura de la notación rec

10El calor

1Respuesta

Unión-encontrar en una estructura gráfica

Tengo un registro que describe un gráfico como conjuntos de nodos y bordes: data MyGraph a = MyGraph { nodes :: Set a, edges :: Set (a,a), components :: UnionFindM a -- ? } emptyGraph

5El calor

1Respuesta

Cuándo elegir complementos y cuándo elegir la pista

No sé cuáles serían los argumentos para elegir hint sobre plugins y viceversa. No tengo código de objeto sino archivos ascii.hs simples que quiero haber ejecutado en tiempo de ejecución. Veo que, en t

11El calor

2Respuesta

Derivación de instancia automática después de la declaración

En Haskell, al definir un tipo de datos puede elegir derivar automáticamente algunas instancias, pero ¿puedo diferir la derivación automática, quizás incluso ponerla en otra biblioteca? Aquí se muestr

11El calor

1Respuesta

sobre 'PSEQ' en Haskell

Considere los siguientes dos declaraciones: (a `par` b) `pseq` (a + b) y a `par` (b `pseq` (a + b)) Puede alguien explicar cómo su comportamiento difiere de unos a otros? Para el primero, si el hi

6El calor

2Respuesta

Ejemplo de una gran pila de Monad

Como dice el título, estoy buscando un programa que use mónada-transformadores en combinación con una gran pila de Mónadas. ¿Alguien conoce un ejemplo del mundo real?