Domande con tag 'functional-programming'

domande con tag
1
risposta

Come fare un interprete per una pila di Transformers Monad gratuiti

Mi piace l'idea di usare le monade libere per "purificare" il codice e l'ho usato in alcuni semplici scenari. Tuttavia, non riesco a capire come scrivere un interprete per un trasformatore gratuito. In particolare una pila di monadi gratuiti....
posta 23.01.2015 - 03:54
1
risposta

Funzioni computabili LOOP

Stavo leggendo un capitolo sulle funzioni LOOP -commutabili e ho la seguente domanda: Is è possibile numerare ogni programma LOOP con un algoritmo? Formalmente: è possibile avere un programma LOOP M, st M (n, m) = P_n (m) (l'input è n, m l'...
posta 10.03.2013 - 02:01
2
risposte

Perché il test del white box è scoraggiato in OOP?

Sembra che il consenso generale per le classi di test unitari sia quello di testare il tuo oggetto solo attraverso la sua interfaccia pubblica. Quindi, se volevi testare il metodo removeElement su una classe LinkedList dovresti chiamare a...
posta 18.06.2017 - 19:41
2
risposte

Qual è il modo corretto di pensare alle monadi di stato?

Ultimamente ho usato un approccio funzionale nella mia programmazione. So che mutabilità e cambiamenti di stato non sono grandi nel paradigma. Ora mi trovo a lavorare con database e altre strutture dati in cui lo stato deve essere modificato. Ho...
posta 13.11.2017 - 00:55
1
risposta

Come si chiama il simbolo "-"?

Ho visto il -> operatore / simbolo nei predicati Java 8 di recente e mi sono chiesto quale sia il suo nome. So che è usato nelle espressioni lambda, ma so che il simbolo per lambda è λ, quindi non è così. Qualche idea?     
posta 30.04.2015 - 13:14
3
risposte

In Haskell, è una "violazione" della programmazione funzionale interagire con qualcosa che non era un parametro di funzione?

Sono sicuro che questo deve essere stato chiesto prima, ma non riesco a trovare da nessuna parte che in realtà risponde alla mia domanda, quindi scuse se ho semplicemente trascurato questo. Attualmente sto imparando Haskell e mi piace il modo...
posta 23.09.2018 - 11:52
2
risposte

Tipo di mappa per Try [T]

Stavo guardando il tipo di map per Try[T] in Scala, che è: def map[S](f: T=>S): Try[S] Da Haskell, sono abituato al tipo di mappa che è: map :: (a->b)->[a]->[b] Questo sembra molto logico. Mappa prende una funzion...
posta 04.06.2016 - 17:19
5
risposte

È una programmazione di stile imperativa (diciamo con Java / C) più soggetta a errori rispetto a qualcosa di più dichiarativo [chiuso]

So che i programmatori tendono a diventare difensivi con i loro paradigmi e strumenti che usano. Ma nella tua esperienza, con i pezzi di codice più generici e tipici che vedi con Java o C ++ o C, il codice è più soggetto a errori di un pezzo di...
posta 21.04.2011 - 16:52
2
risposte

Quali sono / sarebbero le caratteristiche e le applicazioni di un paradigma di programmazione in cui le funzioni non possono avere istruzioni?

Supponiamo che esista un linguaggio in cui, invece delle istruzioni, le funzioni potrebbero essere definite solo in relazione ad altre funzioni e operatori come l'applicazione parziale e la composizione. Quali sarebbero le caratteristiche di tal...
posta 14.06.2012 - 01:45
1
risposta

Struttura immutabile in C ++

Mi piacerebbe essere in grado di implementare dati immutabili in C ++. In breve, dato un oggetto C ++ in cui vorrei modificare una variabile membro, invece di modificare quel membro sul posto vorrei ottenere una nuova copia dell'oggetto con il m...
posta 02.11.2018 - 10:41