Resultados de la búsqueda a petición "typeclass"
Explicación de números en Haskell
Me gustaría una explicación clara deNum, Real, Integral, Integer, Int, Ratio, Rational, Double, Float.
¿Puedes hacer una instancia de una clase no para un tipo sino para una clase completa en Haskell?
Supongamos que quiero hacer que todos los números sean una instancia deMonoid. En lugar de tener que crear una instancia para cadaNum Me gusta esto: instance Monoid Int where mappend = (+) mempty = 0 instance Monoid Float where mappend = (+) ...
Scala doble definición (2 métodos tienen el mismo tipo de borrado)
Escribí esto en scala y no compilará: class TestDoubleDef{ def foo(p:List[String]) = {} def foo(p:List[Int]) = {} }el compilador notifica: [error] double definition: [error] method foo:(List[String])Unit and [error] method foo:(List[Int])Unit ...
¿Puedo aumentar la igualdad de tipos desde una dependencia funcional?
Estoy tratando de tener una idea deMultiParamTypeClasses yFunctionalDependencies, y lo siguiente me pareció algo obvio para probar: {-# LANGUAGE MultiParamTypeClasses , FunctionalDependencies , TypeOperators #-} import Data.Type.Equality class C ...
En Haskell, ¿por qué no hay una TypeClass para cosas que pueden actuar como listas?
Estoy leyendoLearn You a Haskell [http://www.learnyouahaskell.com]y me pregunto por qué tantas cosas están actuando como una lista, y nada en el Preludio está usando la facilidad nativa de las clases de tipos para configurar esto: "La versión de ...
Monoid vs MonadPlus [duplicado]
Esta pregunta ya tiene una respuesta aquí: ¿Por qué MonadPlus y no Monad + Monoid? [/questions/23023961/why-monadplus-and-not-monad-monoid] 2 respuestas Soy muy nuevo para ambosMonads yMonoids y recientemente también aprendí sobreMonadPlus. Por ...
Haskell: Posible solución: agregue (Eq a) al contexto de
Soy un poco nuevo en Haskell y me cuesta entender qué tiene de malo mi código aquí. Esto es lo que se supone que debo hacer: onsidere la siguiente definición de un árbol binario data BinaryTree a = Empty | Node a (BinaryTree a) (BinaryTree ...
OO Traducción de la interfaz a Haskell
Mi problema específico en realidad no se trata de la traducción general de una interfaz OO a Haskell. Este es el mejor título que se me ocurrió. Sin embargo, estoy seguro de que mi problema se origina en una comprensión aún pobre del código de ...
Instancia de creación de la clase de tipo Leer en Haskell para el tipo de datos personalizado
Tengo un tipo de datos personalizadoFoo = Foo{ a :: Int, b :: Int} y estoy tratando de hacer de Foo una instancia personalizada de lectura. Ya tengo una funciónbar :: String -> Foo e intenté hacer esto: instance Read (Foo a b) where read s = ...
Haskell: Derivando Show para tipo personalizado
Tengo esta definición de tipo: data Operace = Op (Int->Int->Int) String (Int->Int->Int) deriving Show Quiero imprimir este tipo en el shell interactivo (GHCi). Todo lo que debe imprimirse es laString campo. Intenté esto: instance Show ...