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...
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...
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...
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...
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'...
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...
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,...
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 =...
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...
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...
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...