Scienza del computer programming-languages

1

C'è una differenza tra la sicurezza del tipo e la solidità del tipo?

Ho cercato di prendere in giro le definizioni di sicurezza del tipo e solidità del tipo e sto avendo un diavolo di tempo. Ho chiesto a un professore di recente e dopo un po 'di pensiero ha detto che non c'era davvero alcuna differenza. Tuttavia dopo aver letto questo sembra …

9 programming-languages type-theory type-checking

1

Esiste un algoritmo generale per riempire i buchi in termini di calcolo delle costruzioni?

Supponi di estendere il calcolo delle costruzioni con "buchi", ovvero pezzi di codice incompleti che non hai ancora compilato. Mi chiedo se esiste un algoritmo per ricoprire automaticamente quei ruoli. Ad esempio (usando la sintassi di Morte ): Caso A: λ (pred : ?) -> λ (Nat : *) -> …

9 machine-learning programming-languages unification

3

Perché le stringhe sono immutabili in alcune lingue?

String è una classe immutabile in Java. Una classe immutabile è semplicemente una classe le cui istanze non possono essere modificate. Perché il linguaggio di programmazione Java sceglie di rendere immutabili gli oggetti della classe String?

9 programming-languages language-design

2

Quale fixpoint è il tipo di elenco Haskell?

Diciamo che gli elenchi sono definiti come List a = Nil | Cons a (List a) Quindi, in Haskell è List xil punto di correzione più grande o meno? Sto chiedendo perché lfp dovrebbe escludere elenchi infiniti (ma è possibile costruirli in Haskell), mentre gfp dovrebbe escludere quelli finiti.

9 programming-languages type-theory functional-programming semantics category-theory

1

Espressività delle moderne espressioni regolari

Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

2

È possibile eseguire tipi dipendenti nella racchetta tipizzata?

È possibile utilizzare i tipi dipendenti nell'implementazione della racchetta tipizzata esistente ? (cioè esistono in esso?) È ragionevolmente possibile implementare un sistema di tipi dipendenti usando la racchetta tipizzata?

9 programming-languages typing type-checking dependent-types lisp

1

Rappresentazione della concatenazione a livello di tipo

Vorrei saperne di più sulla programmazione concatenativa attraverso la creazione di un piccolo linguaggio semplice, basato sullo stack e seguendo il paradigma concatenativo. Sfortunatamente, non ho trovato molte risorse relative ai linguaggi concatenativi e alla loro implementazione, quindi scusami in anticipo per la mia possibile ingenuità. Ho quindi definito il …

8 logic programming-languages compilers type-theory type-checking

1

Cosa significa "monotonicità" nel contesto della mutabilità

Sto leggendo The Rust Programming Language e ho trovato il seguente passaggio: Ricorda che scrivere su una struttura non è un'operazione atomica e molte funzioni come vec.push()possono riallocare internamente e causare comportamenti non sicuri, quindi anche la monotonia potrebbe non essere sufficiente per giustificare UnsafeCell È appena uscito dal nulla …

8 programming-languages synchronization

1

I linguaggi formali possono essere usati per studiare la notazione matematica?

Domanda: Esistono testi introduttivi nel linguaggio formale o nella teoria del linguaggio di programmazione che discutono su come applicarlo allo studio della notazione ottimale? In particolare, sono interessato a scoprire quali lingue stack, alberi di analisi e indici sono e come prevedere quando un determinato tipo di notazione porterà alla …

8 formal-languages reference-request formal-grammars programming-languages

7

Come insegnante: scegliere un linguaggio di programmazione adatto

Non sono sicuro che sia il posto giusto per questa domanda. Scusami se vai un po 'fuori tema. La scelta di una lingua adatta per il primo corso di programmazione è una delle cose più importanti che ogni insegnante / docente correlato dovrebbe tenere a mente; soprattutto se gli studenti …

8 algorithms programming-languages education

1

Analisi del flusso di dati con eccezioni

L'analisi del flusso di dati funziona su un grafico del flusso di controllo. Quando una lingua in esame supporta le eccezioni, il grafico del flusso di controllo può esplodere. Quali sono le tecniche standard per affrontare questa esplosione? Possiamo ignorare profondamente i bordi indotti dall'eccezione? Le analisi del flusso di …

8 programming-languages program-optimization software-verification

2

Perché BNF è considerata una tecnica insoddisfacente per descrivere una lingua?

L'altro giorno stavo leggendo l'articolo Concetti fondamentali in Linguaggi di programmazione di C. Strachey , in cui leggevo qualcosa che mi era abbastanza strano. Citando direttamente (con la strana parte evidenziata da me): Di fronte alla situazione come esiste oggi, dove v'è un metodo noto di descrivere una certa classe …

8 formal-grammars programming-languages syntax

4

Creiamo un linguaggio di programmazione scrivendo un compilatore?

Dì, volevo creare il mio linguaggio di programmazione. Supponendo di aver preso tutte le decisioni su come voglio che appaia e agisca, devo solo scrivere un compilatore per questo? Ad esempio, il codice Java di alto livello è diverso dal semplice testo e questo testo è nel formato corretto per …

8 programming-languages compilers

2

Come collegare la teoria e l'implementazione per i cicli while?

Sto lavorando sul mio piccolo linguaggio di programmazione a fini educativi e ho riscontrato un piccolo problema. Ci sono alcune soluzioni diverse per questo, ma tutte sembrano ineleganti - e da quello che capisco, inutili. Ma leggendo i libri che ho e le ricerche su Google, non riesco a trovare …

8 programming-languages loops language-design

1

Lambda Calculus: come funzionano i contesti di valutazione

Nel calcolo lambda puro, abbiamo l'insieme di termini definito induttivamente (la grammatica): e::=x∣λx.e∣e1e2e::=x∣λx.e∣e1e2e::= x \mid \lambda x . e \mid e_1 e_2 Sotto la strategia di valutazione call-by-value, abbiamo le regole di inferenza per la riduzione beta e le regole su come valutare le applicazioni (regole di congruenza). Sto cercando …

8 programming-languages lambda-calculus semantics

Domande taggate «programming-languages»