La programmazione funzionale è un paradigma di programmazione che utilizza principalmente le funzioni come mezzo per costruire astrazioni ed esprimere calcoli che comprendono un programma per computer.
Sto imparando Haskell e sono affascinato dalla lingua. Tuttavia non ho alcuna seria matematica o background CS. Ma sono un programmatore di software esperto. Voglio imparare la teoria delle categorie in modo da poter diventare migliore in Haskell. Quali argomenti nella teoria delle categorie dovrei imparare a fornire una buona …
Qualcuno potrebbe spiegare la differenza tra tipi dipendenti e tipi di perfezionamento? A quanto ho capito, un tipo di perfezionamento contiene tutti i valori di un tipo che soddisfano un predicato. Esiste una caratteristica di tipi dipendenti che li distingue? Se aiuta, mi sono imbattuto in tipi raffinati tramite il …
La complessità dell'algoritmo è progettata per essere indipendente dai dettagli di livello inferiore, ma si basa su un modello imperativo, ad esempio l'accesso alla matrice e la modifica di un nodo in un albero impiega il tempo O (1). Questo non è il caso di linguaggi puramente funzionali. L'elenco di …
Se qualcosa è semplice, allora dovrebbe essere completamente spiegabile con poche parole. Questo può essere fatto per il calcolo λ: Il calcolo λ è una grammatica sintattica (fondamentalmente una struttura) con una regola di riduzione (il che significa che una procedura di ricerca / sostituzione viene ripetutamente applicata ad ogni …
FRP riguarda eventi e comportamenti in streaming attraverso funzioni pure. Il modello Actor - almeno, come implementato in Akka - riguarda lo streaming di messaggi immutabili (che possono essere considerati eventi discreti) attraverso oggetti potenzialmente impuri, chiamati attori. Quindi in superficie sembrano collegati. Cos'altro possiamo dire su come si relazionavano? …
Ho letto alcune settimane sul Calcolo Lambda, ma non ho ancora visto nulla di materialmente distinto dalle funzioni matematiche esistenti e voglio sapere se è solo una questione di notazione o se ci sono nuove proprietà o regole create dagli assiomi del calcolo lambda che non si applicano ad ogni …
Esiste un chiaro riferimento, con pseudo-codice, su come implementare un interprete Prolog in un linguaggio puramente funzionale? Ciò che ho trovato finora sembra avere a che fare solo con linguaggi imperativi, è semplicemente una dimostrazione di Prolog implementato in sé o non offre alcun algoritmo concreto da utilizzare per l'interpretazione. …
Lungo lo stesso pensiero di questa affermazione di Andrej Bauer in questa risposta La comunità di Haskell ha sviluppato una serie di tecniche ispirate alla teoria delle categorie, di cui le monadi sono più conosciute ma non devono essere confuse con le monadi . Qual è la relazione tra funtori …
Questa domanda è stata migrata da StackTranslate.it perché è possibile rispondere a Scambio stack di Informatica. Migrato 5 anni fa . Sto ancora imparando la programmazione funzionale (con f #) e di recente ho iniziato a leggere le espressioni di calcolo. Continuo a non comprendere appieno il concetto e una …
Nel leggere la risposta di Uday Reddy a Qual è la relazione tra i funzionari nella teoria SML e della categoria? Stati Uday La teoria delle categorie non sa ancora come gestire le funzioni di ordine superiore. Un giorno lo farà. Poiché pensavo che la teoria delle categorie potesse servire …
La programmazione funzionale impiega strutture di dati persistenti e oggetti immutabili. La mia domanda è: perché è fondamentale disporre di tali strutture di dati qui? Voglio capire a basso livello cosa accadrebbe se la struttura dei dati non fosse persistente? Il programma andrebbe in crash più spesso?
Dopo aver appreso Haskell e altri linguaggi FP non altrettanto puri, ho deciso di leggere la teoria delle categorie. Dopo aver acquisito una buona conoscenza della teoria delle categorie, ho iniziato a pensare a come i concetti della teoria delle categorie possano essere usati per pensare alla progettazione di programmi, …
Questa domanda è stata migrata dallo Scambio teorico di stack di informatica perché è possibile rispondere a Scambio stack di informatica. Migrato 7 anni fa . Sono uno studente universitario e attualmente stiamo studiando Lambda Calculus. Tuttavia, faccio ancora fatica a capire esattamente perché questo mi sia utile. Mi rendo …
Gli alberi dinamici svolgono un ruolo importante nella risoluzione di problemi quali flussi di rete, grafici dinamici, problemi combinatori ("Alberi dinamici in pratica" di Tarjan e Werneck) e la recente fusione di dizionari ("A Simple Mergeable Dictionary" di Adam Karczmarz), Per alberi dinamici mi riferisco alla definizione dichiarata nel documento …
Stavo guardando la conferenza di Jim Weirich, intitolata " Avventure nella programmazione funzionale ". In questa lezione, introduce il concetto di Y-combinatori, che trova essenzialmente il punto fisso per le funzioni di ordine superiore. Una delle motivazioni, secondo lui, è quella di poter esprimere funzioni ricorsive usando il calcolo lambda …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.