functor

8calore

3risposta

Differenza nella capacità tra fmap e bind?

Sono un neofita della programmazione funzionale (proveniente da javascript), e ho difficoltà a capire la differenza tra i due, che è anche un po 'incasinato con la mia comprensione dei funtori contro

10calore

4risposta

Perché l'operatore() del functor stateless non può essere statico?

Perché il operator() del prefisso stateless non può essere static? Gli oggetti lambda stateless sono convertibili in puntatori a funzioni libere aventi la stessa firma del loro operator(). Stephan T.

5calore

1risposta

Coyoneda and Deriving Functor in Haskell

Dopo aver studiato la teoria delle categorie basata sui libri MacLane, Awodey e Spivak, sto cercando di capire la monade libera/operativa in Haskell. Possiamo ottenere una monade da un solo tipo di da

11calore

3risposta

Perché non esiste una classe di caratteri `Cofunctor` in Haskell?

Monads get fmap da Functor typeclass. Perché le comonad non hanno bisogno di un metodo cofmap definito in una classe Cofunctor?

5calore

2risposta

bifunctor in Haskell, dopo il tipo meno fisso

Non sono sicuro come derivare l'istanza functor dopo aver fatto un punto fisso: data FreeF f a next = PureF a | FreeF (f next) deriving (Functor) data Mu f = In { out :: f (Mu f) } newtype Free f

10calore

2risposta

Come scrivere il codice in F # per ciò che fanno i funtori in OCaml?

Ho molti programmi scritti in OCaml, alcuni usano i funtori. Ora, sto considerando di scrivere e riscrivere una parte di codice in F # (per beneficiare di alcuni vantaggi che OCaml non ha). Una cosa d

5calore

1risposta

pieghevole vs Traversable

Mentre studiavo più profondo Applicative sono venuto a Traversable, anche se conoscevo già Foldable da LYHGG, non ho visto il primo ancora, quindi ho iniziato a leggere il Haskell wiki about Traversab

11calore

2risposta

Qual è il nome di questo functor che utilizza RankNTypes?

Durante il gioco del pacchetto objective, ho notato che il seguente tipo ha proprietà interessanti. > {-# LANGUAGE RankNTypes #-} > data N f r = N { unN :: forall x. f x -> (x, r) } È un Functor. >

9calore

2risposta

perché una mappa js su un array modifica l'array originale?

Sono abbastanza confuso dal comportamento di map(). Ho un array di oggetti simili: const products = [{ ..., 'productType' = 'premium', ... }, ...] e sto passando questa matrice a una

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