Preguntas etiquetadas con typeclass

Mientras aprendo Haskell, noté su clase de tipo , que se supone que es un gran invento que se originó en Haskell. Sin embargo, en la página de Wikipedia sobre la clase de tipo : El programador define una clase de tipos especificando un conjunto de nombres de funciones o …

112 java  haskell  interface  typeclass 

¿Qué es la clase de tipo Comonad en Haskell? Como en Comonad de Control.Comonad en el paquete comonad (también se agradecen las explicaciones de cualquier otro paquete que proporcione una clase de tipo Comonad). He oído hablar vagamente de Comonad, pero todo lo que realmente sé es que proporciona extract …

105 haskell  typeclass  comonad 

Los tipos de datos algebraicos (ADT) en Haskell pueden convertirse automáticamente en instancias de algunos tipos de clases (comoShow,Eq) derivando de ellos. data Maybe a = Nothing | Just a deriving (Eq, Ord) Mi pregunta es, ¿cómo funciona esto deriving , es decir, cómo sabe Haskell cómo implementar las funciones …

104 haskell  typeclass  derived-types  derived-instances  deriving 

Al compilar mi aplicación Haskell con la -Wallopción, GHC se queja de instancias huérfanas, por ejemplo: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result La clase de tipo ToSElemno es mía, está definida por HStringTemplate . Ahora sé cómo solucionar esto (mueva la declaración de la instancia al módulo donde se …

86 haskell  ghc  typeclass 

Dado : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Quiero hacer Stringuna instancia de Fooable: instance Fooable String where toFoo = FooString GHC luego se queja: Illegal instance declaration for `Fooable String' (All instance …

85 haskell  ghc  typeclass  type-systems 

Las clases de tipos de Haskell de la biblioteca estándar MonadPlus, Alternativey Monoidcada una proporciona dos métodos con esencialmente la misma semántica: Un valor vacío: mzero, emptyo mempty. Un operador a -> a -> aque une los valores de la clase de tipos juntos: mplus, <|>o mappend. Los tres especifican …

83 haskell  functional-programming  typeclass  applicative  monoids 

¿Con restricciones cuantificadas puedo derivar Eq (A f)bien? Sin embargo, cuando intento derivar Ord (A f) falla. No entiendo cómo usar restricciones cuantificadas cuando la clase de restricción tiene una superclase. ¿Cómo obtengo Ord (A f)y otras clases que tienen superclases? > newtype A f = A (f Int) > …

10 haskell  typeclass  derived-class  quantified-constraints 

Un buen hecho verdadero sobre la concatenación es que si conozco dos variables en la ecuación: a ++ b = c Entonces sé el tercero. Me gustaría capturar esta idea en mi propia concat, así que uso una dependencia funcional. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, …

10 haskell  typeclass  functional-dependencies  type-level-computation 

Tengo este código (ciertamente extraño) que usa lentes y GHC . {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just a dumb …

9 haskell  typeclass  typechecking 

Problema Considere el siguiente problema de diseño en Haskell. Tengo un EDSL simple y simbólico en el que quiero expresar variables y expresiones generales (polinomios multivariados) como x^2 * y + 2*z + 1. Además, quiero expresar ciertas ecuaciones simbólicas sobre expresiones, digamos x^2 + 1 = 1, así como …

9 haskell  casting  type-conversion  ghc  typeclass 

Tengo una docena de nuevos tipos como este: newtype MyBool = MyBool Bool newtype MyInt = MyInt Int Quiero reutilizar instancias existentes: instance MArray IOUArray Int IO where ... instance MArray (STUArray s) Int (ST s) where ... Implementar estas instancias y tener todo el código repetitivo es lo último …

8 haskell  typeclass  newtype  deriving