monads

5calore

1risposta

Come rendere la scala monad conforme alla propria comprensione?

Voglio implementare le mie monade e funtori compatibili per la comprensione in Scala. Prendiamo due stupide monadi come esempio. Una monade è una monade di stato che contiene un "Int" che puoi mappare

15calore

1risposta

I parametri lambda sono parametrizzati come Monade?

Ho questa rappresentazione termini del lambda calcolo parametrizzato sul tipo di nome: {-# LANGUAGE DeriveFunctor #-} data Lambda a = Var a | App (Lambda a) (Lambda a) | Lam a (Lambda a) derivi

15calore

1risposta

JS Funzione unità Monad

Non riesco a capire la funzione dell'unità in JavaScript. Soprattutto perché la cosa che mi ha fatto ottenere "monade" (o almeno pensavo) era l'oggetto Promise, e come then restituisce sempre una nuov

16calore

2risposta

Le leggi monad sono applicate a Haskell?

Dal wiki Haskell: Monadi possono essere visti come interfaccia di programmazione standard per vari dati o strutture di controllo, che viene catturato dalla classe Monade. Tutti monadi comuni sono memb

7calore

2risposta

Perché la firma runState ha solo argomenti di stato?

Un esempio di vita reale: se sono di buon umore ("buono stato"), quando il manager mi chiede delle stime, gli do una risposta solida, ma oso farlo 3 volte in una riga, senza alcuni snack gratuiti in m

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

8calore

1risposta

Haskell (a -> ma) -> m (a -> a) -> m (a -> a)

Ho scavato in Haskell negli ultimi mesi, mi sono imbattuto in una situazione con monadi che Non sono abbastanza sicuro su come gestirlo. Ho un valore di tipo a -> m a ed un secondo tipo di m (a -> a)

6calore

1risposta

Perché Tuple non ha un'istanza Monad?

Una cosa che ho notato è che Tuple non ha un'istanza Monad. Tuple ha tuttavia un Applicative esempio: instance Monoid a => Applicative ((,) a) che limita già estremamente pesante quello che possiamo

10calore

1risposta

Scrivere un Monad Transformer, ha davvero bisogno di così tante istanze hardcoded

Sono un utente di trasformatore monade da molto tempo, scrittore di trasformatori monade prima volta ... E mi sento come se avessi fatto qualcosa di non necessario. Stiamo lavorando su un progetto che

5calore

2risposta

Come posso fare in modo che questa funzione F # non causi uno stack overflow

Ho scritto una funzione interessante in F # che può attraversare e mappare qualsiasi struttura dati (proprio come la funzione di tutto il mondo disponibile in Haskell's Scrap Your Boilerplate). Sfortu