Resultados de la búsqueda a petición "typeclass"
STUArray con tipo polimórfico
Quiero implementar un algoritmo usando elST mónada ySTUArrays, y quiero que pueda trabajar con ambosFloat yDouble datos. Lo demostraré en un problema de ejemplo más simple: calcular un memorandoscanl (+) 0 (Sé que se puede resolver sinSTUArray, ...
¿Cómo obtengo una instancia de la clase de tipo asociada con un contexto vinculado?
Nota: estoy planteando esta pregunta para responderla yo mismo, pero otras respuestas son bienvenidas. Considere el siguiente método simple: def add[T](x: T, y: T)(implicit num: Numeric[T]) = num.plus(x,y)Puedo reescribir esto usando ...
Instancia de Functor para Type Constructor con dos parámetros en Scala
Tengo una claseFoo con dos parámetros, y estoy tratando de escribir una instancia de Functor para Foo con el primer parámetro fijo, de la siguiente manera: object Scratchpad { trait Functor[F[_]] { def fmap[A, B](f: A => B): F[A] => F[B] } case ...
Clases de tipo y sobrecarga, ¿cuál es la conexión?
Actualmente estoy tratando de entender las clases de tipos y las instancias y todavía no entiendo el punto. Tengo dos preguntas sobre el asunto hasta ahora: 1) ¿Por qué es necesario tener una clase de tipo en una firma de función cuando la ...
¿Por qué usar un tipo de función tan peculiar en las mónadas?
Nuevo en Haskell, y estoy tratando de descubrir esta cosa de la mónada. El operador de enlace monádico ->>= - tiene una firma tipo muy peculiar: (>>=) :: Monad m => m a -> (a -> m b) -> m bPara simplificar, sustituyamosMaybe param: (>>=) :: ...
Los tipos de Haskell frustran una función simple 'promedio'
Estoy jugando con el principiante Haskell, y quería escribir una función promedio. Parecía la cosa más simple del mundo, ¿verdad? Incorrecto. Parece que el sistema de tipos de Haskell prohíbe el promedio de trabajar en un tipo numérico ...
¿Son posibles los sinónimos de tipo con restricciones de tipo de clase?
Siéntase libre de cambiar el título, simplemente no tengo la experiencia suficiente para saber lo que realmente está sucediendo. Entonces, estaba escribiendo un programa basado libremente ...
¿Por qué Numeric se comporta de manera diferente a Ordenado?
Scala tiene una serie de rasgos que puede usar como clases de tipos, por ejemploOrdered yNumeric en el paquetescala.math. Puedo, por ejemplo, escribir un método genérico usandoOrdered Me gusta esto: def f[T <% Ordered[T]](a: T, b: T) = if (a < ...
Restricción de clase de tipo en instancias de familias de tipos
¿Es posible especificar una restricción de clase de tipo que deben cumplir todas las instancias de una familia de tipos? Por ejemplo, dada la siguiente declaración, ¿cómo me aseguraría de que todas las instancias también sean instancias ...
¿Tiene ghci una lista de todas las instancias de clase de tipo posibles?
Cuando ghc no puede determinar una instancia de clase de tipo concreta, recibirá un mensaje como: No instance for ... arising from a use of `it' The type variable `a0' is ambiguous Possible fix: add a type signature that fixes these type ...