Informatica teorica functional-programming

2

Quale struttura di dati persistente per un insieme di elementi parzialmente ordinati?

Ho bisogno di memorizzare insiemi di elementi di tipo a. Tipo A è parzialmente ordinato, quindi confrontando a1un'1a_1 e a2un'2a_2 può tornare minore, maggiore, uguale o incomparabile. Un problema con gli hashtable è che due elementi uguali possono essere rappresentati in modo diverso e non ho accesso a una funzione …

15 ds.data-structures functional-programming sorting

2

Che cos'è una cerniera e come si collega a una struttura ad albero?

Stavo leggendo un capitolo di LYAH che non aveva davvero senso per me. Capisco che le cerniere lampo possono attraversare arbitrariamente una struttura ad albero, ma ho bisogno di alcuni chiarimenti su di essa. Inoltre, le cerniere possono essere generalizzate a qualsiasi struttura di dati?

15 ds.data-structures functional-programming tree

1

Perché i linguaggi di programmazione funzionale richiedono la garbage collection?

Cosa impedisce a ghc di tradurre Haskell in un linguaggio di programmazione concatenativo come la logica combinatoria e quindi semplicemente usare l'allocazione dello stack per tutto? Secondo Wikipedia, la traduzione dal calcolo lambda alla logica combinatoria è banale, e inoltre, i linguaggi di programmazione concatenativa possono fare affidamento esclusivamente su …

14 functional-programming haskell

1

Una descrizione matematica (categorica) delle classi di tipi

Un linguaggio funzionale può essere visto come una categoria in cui i suoi oggetti sono tipi e funzioni di morfismi tra loro. Come si adattano le classi di tipi in questo modello? Presumo che dovremmo considerare solo quelle implementazioni che soddisfano il vincolo che hanno la maggior parte delle classi …

14 lo.logic functional-programming ct.category-theory denotational-semantics type-systems

2

Equivalente puramente funzionale di B-Tree?

Sto esplorando l'idea di scrivere un DBMS in modo puramente funzionale. La struttura dati tradizionale utilizzata per l'indicizzazione è B-Tree. Mi piacerebbe conoscere un equivalente puramente funzionale di B-Tree che sarebbe ottimizzato per ridurre al minimo l'accesso al disco. Grazie.

14 ds.data-structures functional-programming db.databases

3

Hashing associativo

Considera la lista debolmente collegata singolarmente in un ambiente puramente funzionale. Le sue lodi sono state cantate dalle cime delle montagne e continueranno a essere cantate. Qui affronterò uno tra i suoi numerosi punti di forza e la domanda su come estenderlo alla più ampia classe di sequenze puramente funzionali …

14 ds.data-structures cr.crypto-security functional-programming hash-function

2

Teoria delle categorie e parser - riferimenti ricercati

Dato che sono interessato ai parser (principalmente alle grammatiche delle espressioni dei parser), mi chiedo se ci sia del lavoro che offra un trattamento categorico dell'analisi. Ogni riferimento alle applicazioni della teoria delle categorie per l'analisi è molto apprezzato. Migliore,

13 reference-request functional-programming ct.category-theory parsing

2

Trasformazione del passaggio di continuazione delle funzioni binarie

Richiama la trasformazione del passaggio di continuazione (trasformazione CPS) che porta da a (dove è fisso) e a definito da In effetti abbiamo la monade di continuazione con l'unità definita da e la moltiplicazione definita da β A : = R R A R f : A → B β …

13 functional-programming monad continuations cps-transforms

2

Elenchi di differenze nella programmazione funzionale

La domanda Cosa c'è di nuovo nelle strutture di dati puramente funzionali da Okasaki? e l'epica risposta di jbapple, menzionata usando liste di differenze nella programmazione funzionale (al contrario della programmazione logica), che è qualcosa che mi ha interessato di recente. Questo mi ha portato a trovare l' implementazione delle …

13 reference-request ds.data-structures pl.programming-languages functional-programming logic-programming

1

Cosa rende un linguaggio (e il suo sistema di tipi) in grado di dimostrare teoremi sui propri termini?

Di recente ho tentato di implementare il Cedille-Core di Aaron , un linguaggio di programmazione minimalista in grado di dimostrare teoremi matematici sui suoi stessi termini. Ho anche dimostrato l'induzione per i tipi di dati con codifica λ, il che ha chiarito il motivo per cui le sue estensioni sarebbero …

12 type-theory functional-programming constructive-mathematics

2

Quali sono le relazioni tra Alternative, MonadPlus (LeftCatch) e MonadPlus (LeftDistributive)?

Seguito Qual è un esempio di Monade che è un'alternativa ma non un MonadPlus? : Supponiamo che sia una monade. Quali sono i rapporti betweem m essere un alternativa , un MonadPlusCatch e MonadPlusDistr ? mmmmmmPer ognuna delle sei coppie possibili, vorrei avere una prova che l'una implica un'altra o …

12 pl.programming-languages functional-programming haskell monad applicative

2

Alberi bilanciati semplici con O (1) concat?

Nel peggiore dei casi puramente funzionali , elenchi ordinati catenabili a tempo costante , Brodal et al. presenta alberi bilanciati puramente funzionali con O (1) concatenato e O (lg n) inserisci, elimina e trova. La struttura dei dati è alquanto complicata. Esiste un albero di ricerca bilanciato più semplice con …

12 functional-programming ds.data-structures

1

Che cosa significa esattamente effetti collaterali "semanticamente osservabili"?

Ho una domanda sulle funzioni pure. Secondo la pagina di Wikipedia uno dei requisiti per una funzione pura è: La valutazione del risultato non provoca alcun effetto collaterale o output osservabile semanticamente, come la mutazione di oggetti mutabili o l'output a dispositivi I / O. Cosa significa veramente questo. O …

11 functional-programming semantics

3

Quali algoritmi possono essere espressi usando un linguaggio funzionale totale con operatori di dati paralleli?

Immagina un linguaggio di programmazione funzionale i cui soli tipi di dati sono scalari numerici e annidamenti arbitrari di array. La lingua non ha alcun mezzo di iterazione illimitata, quindi non sono consentiti: loop espliciti (comunque non molto usati senza effetti collaterali) ricorsione funzioni arbitrarie di prima classe (senza combinatore …

11 complexity-classes functional-programming dc.parallel-comp

1

Come si codifica l'algoritmo astratto di Lamping usando i combinatori di interazione?

I combinatori di interazione sono stati proposti prima come obiettivo di compilazione per il calcolo λ. Quel documento implementa l'intero calcolo λ. È anche noto che è possibile ottimizzare le codifiche nette di interazione del calcolo λ per il sottoinsieme di termini λ che è tipizzabile EAL. Quel documento implementa …

10 lambda-calculus functional-programming interaction-nets

Domande taggate «functional-programming»