typeclass

5calore

3risposta

Implementare tipo di prodotto in Scala con funzione di aggiornamento generico che lavora su sue parti

In Scala, devo generare un tipo di prodotto & che rappresenta un valore composto, per es .: val and: String & Int & User & ... = ??? Vale a dire and dovrebbe avere una parte String e una parte Int e

7calore

1risposta

Scala vs Haskell typeclasses: "catchall" istanze

Il seguente Haskell tipo di classe e istanza: class Able a where able :: a -> Int instance Able Int where able x = x viene comunemente tradotto a Scala in questo modo: trait Able[A] {

5calore

2risposta

Come si applicano i vincoli di funzione nei metodi di istanza in Haskell?

Sto imparando a usare i tipi in Haskell. Considerare la seguente implementazione di una classe di caratteri T con una funzione di classe con tipo vincolato f. class T t where f :: (Eq u) => t ->

10calore

1risposta

Posso usare OverlappingInstances per ottenere messaggi di errore più gradevoli?

Attualmente mi sto occupando di un codice Haskell che non ho scritto, ma di cui ho apportato delle modifiche. Dopo le mie modifiche, corro il programma e ottenere il seguente messaggio di errore: Prel

8calore

1risposta

La riflessione rischia di incoerenza?

Il pacchetto reflection offre una classe class Reifies s a | s -> a where reflect :: proxy s -> a e una funzione reify :: a -> (forall s . Reifies s a => Proxy s -> r) -> r dato solo questi,

5calore

1risposta

Diversi modi di costruire typeclass in Scala?

Un typeclass esempio tratto dalla programmazione Scala libro: case class Address(street: String, city: String) case class Person(name: String, address: Address) trait ToJSON { def toJSON(level

19calore

1risposta

I trasformatori applicativi sono davvero superflui?

C'è un gran parlare di Applicativenon necessitano di una propria classe di trasformatore, come questo: class AppTrans t where liftA :: Applicative f => f a -> t f a Ma posso definire trasformat

8calore

1risposta

Come posso spingere il polimorfismo in una struttura dati?

Un recent question mi ha portato a chiedersi come convertire un forall f . Functor f => [LensLike f s t a b] in un [ReifiedLens s t a b] C'è un modo semplice per farlo molto lentamente, indicizzan

8calore

1risposta

È comune utilizzare lo stesso nome per il tipo di dati e il costruttore di valori in Haskell?

Guardando il codice seguente: data Point = Point Float Float deriving (Show) data Shape = Circle Point Float | Rectangle Point Point deriving (Show) che è dal libro Imparare una Haskell per la Gran

5calore

2risposta

Come creare una "classe tipo" in Haskell, o polimorfismo ad hoc a livello di tipo utilizzando famiglie di tipi

Sto studiando le caratteristiche della famiglia di tipi di Haskell e il calcolo del livello di tipo. Sembra che sia abbastanza facile da ottenere il polimorfismo parametrico a livello di tipo utilizza