comonad

14calore

1risposta

duplicare Perché quando si definisce la funzione duplicato duplicate :: w a -> w (w a) per il typeclass Comonad (link) è necessario modificare tutti gli elementi "nel contesto" (cioè modificare ele

28calore

1risposta

La funzione chain in underscore.js crea una monade?

In the chain documentation si trovano: Calling chain su un oggetto avvolto causerà tutto il metodo futuro chiamate restituire gli oggetti avvolti pure. Al termine del calcolo , utilizzare value per re

6calore

1risposta

Quali benefici ottengo dalla creazione di un'istanza di Comonad

Nella mia applicazione, sto cercando di implementare un sistema di animazione. In questo sistema, le animazioni sono rappresentati come una lista di frame ciclico: data CyclicList a = CL a [a] Possi

14calore

3risposta

Il concetto di un "omomorfismo interleaved" è una cosa reale?

Ho bisogno della seguente classe di funzioni: class InterleavedHomomorphic x where interleaveHomomorphism :: (forall a . f a -> g a) -> x f -> x g Ovviamente il nome che ho inventato, perché no

13calore

1risposta

Functional albero e pieghevole ma con nodi. C'è qualche generalizzazione su di esso?

data Tree t = Empty | Node t (Tree t) (Tree t) Siamo in grado di creare l'istanza Functor e utilizzare fmap :: (t -> a) -> Tree t -> Tree a Ma cosa succede se, invece di (t -> a) che voglio (Alber

5calore

1risposta

Come devo implementare un tavolo Cayley in Haskell?

Sono interessato a generalizzare alcuni strumenti di calcolo per utilizzare uno Cayley Table, che indica un'operazione di moltiplicazione basata sulla tabella di ricerca. ho potuto creare un'implement

12calore

1risposta

Ogni monade gratis su un ??? il functor produce una comonade?

In "this answer in" Può una monade essere una comonad? " vediamo che Ogni CofreeComonad su un Alternative functor produce un Monade. Quale sarebbe il doppio a questo? Esiste una classe di funtori che

30calore

1risposta

Puoi definire `Comonads 'basato su` Monads`?

Okay, diciamo che avete il tipo newtype Dual f a = Dual {dual :: forall r. f(a -> r)->r} Come si è visto, quando f è un Comonad, Dual f è una Monade (divertente esercizio). Funziona il contrario? È

34calore

2risposta

Qual è la comonad Store?

Avendo un'idea di what the Comonad typeclass is in Haskell, ho sentito parlare della comonad Store. Ma guardando Control.Comonad.Store.Lazy, non capisco davvero. Cosa significa? Cosa serve? Ho sentito