Perguntas com a marcação «typeclass»

Enquanto estou aprendendo Haskell, notei sua classe de tipo , que é considerada uma grande invenção originada de Haskell. No entanto, na página da Wikipedia sobre classe de tipo : O programador define uma classe de tipo especificando um conjunto de nomes de funções ou constantes, junto com seus respectivos …

111 java  haskell  interface  typeclass 

O que é a typeclass Comonad em Haskell? Como em Comonad de Control.Comonad no pacote comonad (explicações de quaisquer outros pacotes que fornecem uma typeclass Comonad também são bem-vindas). Ouvi vagamente sobre o Comonad, mas tudo o que realmente sei sobre ele é que ele fornece extract :: w a …

105 haskell  typeclass  comonad 

Tipos de dados algébricos (ADTs) em Haskell podem se tornar automaticamente instâncias de alguns tipos de classes (comoShow,Eq) derivando deles. data Maybe a = Nothing | Just a deriving (Eq, Ord) Minha pergunta é: como isso derivingfunciona, ou seja, como Haskell sabe como implementar as funções da typeclass derivada para …

104 haskell  typeclass  derived-types  derived-instances  deriving 

Ao compilar meu aplicativo Haskell com a -Wallopção, GHC reclama sobre instâncias órfãs, por exemplo: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem Result A classe de tipo ToSElemnão é minha, ela é definida por HStringTemplate . Agora eu sei como consertar isso (mover a declaração da instância para o módulo onde …

86 haskell  ghc  typeclass 

Dado : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Eu quero fazer Stringuma instância de Fooable: instance Fooable String where toFoo = FooString GHC então reclama: Illegal instance declaration for `Fooable String' (All instance …

85 haskell  ghc  typeclass  type-systems 

As typeclasses Haskell da biblioteca padrão MonadPlus, Alternativee Monoidcada uma fornece dois métodos com essencialmente a mesma semântica: Um valor vazio: mzero, empty, ou mempty. Um operador a -> a -> aque une valores na typeclass juntos: mplus, <|>ou mappend. Todos os três especificam essas leis às quais as instâncias …

83 haskell  functional-programming  typeclass  applicative  monoids 

Com restrições quantificadas, posso derivar Eq (A f)muito bem? No entanto, quando tento derivar Ord (A f), ele falha. Eu não entendo como usar restrições quantificadas quando a classe de restrição tem uma superclasse. Como derivar Ord (A f)e outras classes que têm superclasses? > newtype A f = A …

10 haskell  typeclass  derived-class  quantified-constraints 

Um bom fato verdadeiro sobre concatenação é que, se eu conhecer duas variáveis ​​na equação: a ++ b = c Então eu conheço o terceiro. Gostaria de capturar essa ideia em minha própria concat, para usar uma dependência funcional. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances …

10 haskell  typeclass  functional-dependencies  type-level-computation 

Eu tenho esse código (reconhecidamente estranho) que usa lente e 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 …

9 haskell  typeclass  typechecking 

Problema Considere o seguinte problema de design no Haskell. Eu tenho um EDSL simbólico simples, no qual quero expressar variáveis ​​e expressões gerais (polinômios multivariados), como x^2 * y + 2*z + 1. Além disso, quero expressar certas equações simbólicas sobre expressões, por exemplo x^2 + 1 = 1, bem …

9 haskell  casting  type-conversion  ghc  typeclass 

Eu tenho uma dúzia de tipos novos como este: newtype MyBool = MyBool Bool newtype MyInt = MyInt Int Quero reutilizar instâncias existentes: instance MArray IOUArray Int IO where ... instance MArray (STUArray s) Int (ST s) where ... Implementar essas instâncias e ter todo o código padrão é a …

8 haskell  typeclass  newtype  deriving