typeclass

9El calor

2Respuesta

¿La subclase de Haskell requiere instancias indecidibles?

Considere el ejemplo de código siguiente: {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-} -- Is there a way to avoid this? -- A generic class with a generic function. clas

15El calor

2Respuesta

Escriba restricciones de parámetros para las instancias de tipos de clase con tipo * -> *

Supongamos que tengo Heap a tipo donde Heap es un constructor de tipo * -> *. Muchas operaciones básicas en montón requieren que el tipo a sea una instancia de la clase de tipo Ord. data Heap a = ...

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

6El calor

1Respuesta

¿Por qué (a, a) no es un funtor?

Duplicar posible: Making (a, a) a Functor me escribió la siguiente implementación de la clasificación rápida: import Data.List (partition) quicksort [] = [] quicksort (x:xs) = let (smaller, n

42El calor

2Respuesta

¿Qué pasa con el sistema de restricciones actual de GHC Haskell?

He oído que hay algunos problemas con el sistema de restricción "roto" de Haskell, a partir de GHC 7.6 y siguientes. ¿Qué está "mal" con eso? ¿Existe un sistema comparable comparable que supere esos d

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

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

8El calor

1Respuesta

Haskell: cómo escribir una función variada monádica, con parámetros usando el contexto monádico

Estoy tratando de hacer una función variadica con un tipo de retorno monádico, cuyos parámetros también requieren el contexto monádico. (No estoy seguro de cómo describir ese segundo punto:. Ej printf

10El calor

1Respuesta

Instancias de tipo predeterminado que se refieren entre sí

¿Hay alguna forma de tener instancias de tipo predeterminadas definidas en términos de la otra? Estoy intentando conseguir algo como esto de trabajo: {-# LANGUAGE DataKinds, KindSignatures #-} {-# LA

8El calor

2Respuesta

Haskell: ¿Cómo puedo definir una clase de tipo para conjuntos?

Novato total aquí, luchando. Estoy tratando de definir una clase de tipo para los conjuntos. Para este caso solo requeriría la definición de 'existe'. 'exists' tomaría un conjunto y una función en un