Scienza del computer programming-languages

3

Perché usare un lexer / parser su dati binari è così sbagliato?

Lavoro spesso con lexer / parser , al contrario di un combinatore di parser e vedo persone che non hanno mai frequentato un corso di analisi, chiedendo di analizzare i dati binari. In genere i dati non sono solo binari ma anche sensibili al contesto. Questo in pratica porta ad …

13 programming-languages compilers parsers

3

Quali altri linguaggi di programmazione, a parte Python e il predecessore, sono in circolazione usando il rientro per definire i blocchi di codice? [chiuso]

Chiuso. Questa domanda è fuori tema . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che sia sull'argomento per Computer Stack Stack Exchange. Chiuso 10 mesi fa . Python abbastanza notoriamente usa il rientro per definire sintatticamente blocchi di codice. (Vedi le istruzioni composte …

12 programming-languages python syntax

1

La monade IO è tecnicamente errata?

Sul wiki di haskell c'è il seguente esempio di uso condizionale della monade IO (vedi qui) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Si noti che in questo esempio, la definizione di IO aè …

12 programming-languages functional-programming haskell

1

Perché non stiamo ricercando di più verso le garanzie del tempo di compilazione?

Adoro tutto ciò che è tempo di compilazione e mi piace l'idea che una volta compilato un programma vengano fatte molte garanzie sulla sua esecuzione. In generale, un sistema di tipo statico (Haskell, C ++, ...) sembra offrire maggiori garanzie in fase di compilazione rispetto a qualsiasi sistema di tipo …

12 programming-languages type-theory type-checking software-verification

2

Calcolo lambda: differenza tra contesti e contesti di valutazione

In primo luogo, vorrei dire che il mio testo qui sotto può contenere errori, quindi sentiti libero di evidenziare eventuali errori nella mia formulazione della domanda. Considera un calcolo lambda non tipizzato con booleani e istruzioni if i cui termini sono dati da questa sintassi: t ::= v | t …

12 programming-languages lambda-calculus

3

Relazione tra teoria dei tipi russelliana e sistemi di tipi

Di recente mi sono reso conto che esiste una sorta di relazione tra la teoria dei tipi russelliana e i sistemi di tipi, come ad esempio trovato in Haskell. In realtà, alcune delle notazioni per tipi in Haskell sembrano avere precursori nella teoria dei tipi. Ma, IMHO, la motivazione di …

12 programming-languages type-theory

4

Qualcuno può dare un esempio semplice ma non giocattolo di una grammatica sensibile al contesto?

Sto cercando di capire le grammatiche sensibili al contesto. Capisco perché le lingue piacciono { w w ∣ w ∈ A*}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} non sono liberi dal contesto, ma cosa vorrei sapere se una lingua simile al calcolo lambda non tipizzato è sensibile …

12 formal-grammars programming-languages lambda-calculus context-sensitive

4

Ha senso avere sia il concetto di "null" che di "Forse"?

Durante la creazione di un client per un'API Web in C #, ho riscontrato un problema relativo nullal valore in cui rappresenterebbe due cose diverse: niente , ad esempio un foomay o potrebbe non avere unbar sconosciuto : per impostazione predefinita la risposta API include solo un sottoinsieme di proprietà, …

11 programming-languages language-design

1

Strumento di prototipazione della semantica del linguaggio di programmazione

Esiste uno strumento per la prototipazione di una semantica del linguaggio di programmazione e di un sistema di tipi che consenta anche una sorta di controllo del modello delle proprietà standard, come la solidità del tipo? Lo sto chiedendo, perché sto leggendo un libro su Alloy e fornisce l'esatta funzionalità …

11 reference-request programming-languages semantics model-checking

4

Perché dobbiamo scambiare l'astrazione per la velocità?

Perché le lingue di alto livello non sembrano mai raggiungere le lingue di livello inferiore in termini di velocità? Esempi di linguaggi di alto livello sarebbero Python, Haskell e Java. Le lingue di basso livello sarebbero più difficili da definire, ma diciamo che C. I confronti si possono trovare in …

11 programming-languages performance

2

Perché il punto fisso minimo (lfp) è importante nell'analisi del programma

Sto cercando di ottenere un quadro generale sull'importanza del punto minimo fisso (lfp) nell'analisi del programma. Ad esempio, l'interpretazione astratta sembra usare l'esistenza di lfp. Molti articoli di ricerca sull'analisi del programma si concentrano anche sulla ricerca del punto meno fisso. Più specificamente, questo articolo su Wikipedia: il teorema di …

11 programming-languages finite-model-theory fixed-point

3

Qual è la differenza tra tipi di dati astratti e oggetti?

Una risposta su Programmers.SE caratterizza un saggio di Cook ( Gli oggetti non sono ADT ) come detto Gli oggetti si comportano come una funzione caratteristica rispetto ai valori di un tipo, piuttosto che come algebra. Gli oggetti usano l'astrazione procedurale piuttosto che l'astrazione del tipo Gli ADT di solito …

11 programming-languages object-oriented abstract-data-types

5

Definizione dello stato di un oggetto in OOP

Ho bisogno di una definizione concisa dello "stato di un oggetto" nella programmazione orientata agli oggetti (per un documento). Per circa mezza giornata ho cercato un documento che posso citare su questo argomento, ma non sono riuscito a trovarne uno. Tutti gli articoli che ho trovato erano per lo più …

11 terminology reference-request programming-languages object-oriented

1

Inferenza del tipo basata su vincoli con dati algebrici

Sto lavorando su un linguaggio basato sull'espressione della genealogia ML, quindi ha naturalmente bisogno dell'inferenza del tipo> :) Ora sto cercando di estendere una soluzione basata sui vincoli al problema di inferire i tipi, basata su una semplice implementazione in EOPL (Friedman e Wand), ma questi si adattano elegantemente a …

11 programming-languages type-theory functional-programming inductive-datatypes typing

4

Puoi specificare un linguaggio di programmazione senza implementazione?

È teoricamente possibile specificare un linguaggio di programmazione per il quale non potrebbe esistere alcuna implementazione? Un linguaggio di programmazione è un modo per definire le funzioni. Un'implementazione indica un metodo per eseguire un determinato programma in quella lingua su un dato input all'output della funzione corrispondente al programma su …

11 formal-languages computability programming-languages

Domande taggate «programming-languages»