category-theory

7calore

1risposta

Si tratta di una generalizzazione significativa di `scan`s per ADT arbitrari?

Ho pensato a come generalizzare scanl in ADT arbitrari. L'approccio Prelude consiste nel trattare tutto come un elenco (ad esempio, Foldable) e applicare lo scanl sulla vista piatta della struttura. I

16calore

1risposta

Control.Category, cosa significa >>> e <<< significa?

Seguo this blog, a scrivere un semplice server http in Haskell, Uso di >>> non è chiaro per me. Che cosa fa questo frammento di codice? handleHttpConnection r c = runKleisli (receiveRequest >>> h

18calore

2risposta

Che cos'è la definizione del Functional applicativo dalla teoria delle categorie POV?

sono stato in grado di mappare la definizione di Functor dalla teoria di categoria alla definizione di Haskell nel modo seguente: dato che gli oggetti di Hask sono tipi, il funtore F Mappe ogni tipo a

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

16calore

1risposta

Che cos'è esattamente un functor indicizzato in Haskell e quali sono i suoi usi?

Quando studiavo i funtori in Haskell, ho trovato il tipo di funtore Functor.Indexed. Questo functor definisce un'operazione chiamata imap. Non ho capito la sua definizione e la firma imap: imap :: (a

10calore

3risposta

Istanza di Functor per ADT polimorfici generici in Haskell?

Quando si tratta di applicare la teoria delle categorie per la programmazione generica, Haskell fa un ottimo lavoro, ad esempio con librerie come recursion-schemes. Tuttavia una cosa di cui non sono s

16calore

1risposta

Come faccio a dimostrare che un tipo Haskell è abitato da una sola funzione?

In this answer, Gabriel Gonzalez mostra come mostrare che id è l'unico abitante di forall a. a -> a. Per fare ciò (nella più formale iterazione della dimostrazione), mostra che il tipo è isomorfo su (

14calore

1risposta

Le "trasformazioni naturali" che applichiamo a Coyoneda sono effettivamente "trasformazioni naturali" per un Functor?

Ho una domanda teorica sulla natura di un tipo che viene utilizzato in un sacco di esempi che spiegano il lemma di Coyoneda. Solitamente si riferiscono a come "trasformazioni naturali" che a mia conos

5calore

3risposta

Funtori in Java

sto cercando di definire classi in Java che sono simili a funtori di Haskell. Con la presente, un funtore è definito come: /** * Programming languages allow only (just simply enough) endofunctor, tha

6calore

1risposta

risorsa che spiega il vocabolario utilizzato nel pacchetto di obiettivi di Edward Kmett

Sto cercando di leggere la documentazione nel pacchetto LensEdward Kmett. Non ho familiarità con molti termini usati (profunctor, isomorfismo, monomorfismo, contravariant, bifunctor, ecc ...) Quale sa