Scienza del computer programming-languages

2

Esistono prove del fatto che l'uso di linguaggi dinamici ha un impatto sulla produttività?

Mi chiedo se ci sono esperimenti che mostrano l'esistenza o la non esistenza di una correlazione tra l'uso di un linguaggio dinamico (come Python, Ruby o persino i linguaggi che girano sulla piattaforma Java come Groovy, Clojure) su un linguaggio statico (come C / C ++) e la differenza nella …

25 programming-languages empirical-research software-engineering

3

Cosa sono le funzioni in scena (concettualmente)?

In un recente articolo CACM [1], gli autori presentano un'implementazione per funzioni organizzate . Usano il termine come se fosse ben noto, e nessuno dei riferimenti sembra un'ovvia introduzione. Danno una breve spiegazione (l'enfasi sulla mia e il numero di riferimento sono cambiati; è 22 nell'originale) Nel contesto della generazione …

24 terminology programming-languages meta-programming

3

Qual è la relazione tra i funzionali nella teoria SML e della categoria?

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 …

24 programming-languages functional-programming category-theory

2

Alcuni linguaggi di programmazione usano come base le funzioni ricorsive generali?

Questa è una domanda ingenua e, quindi, probabilmente malformata, quindi scusa in anticipo! La mia opinione è che una macchina di Turing può essere vista come la base computazionale per linguaggi di programmazione procedurali / imperativi. Allo stesso modo, il calcolo lambda è la base per linguaggi di programmazione funzionale. …

23 programming-languages mathematical-foundations church-turing-thesis

8

Linguaggio di programmazione in cui ogni espressione ha un senso

Per raccomandazione lo sto ripubblicando da Stack Overflow . Di recente ho pensato al seguente problema. Considera il codice per un "Hello world!" Standard programma: main() { printf("Hello World"); } Ora quasi ogni cambiamento in questo codice lo renderà completamente inutile, infatti quasi ogni cambiamento impedirà la compilazione del codice. …

23 programming-languages computation-models

4

Come fanno i garbage collector a evitare lo straripamento dello stack?

Quindi stavo pensando a come funzionano i netturbini e ho pensato a un problema interessante. Presumibilmente i netturbini devono attraversare tutte le strutture allo stesso modo. Non possono sapere che tempo stanno attraversando un elenco collegato o un albero bilanciato o altro. Inoltre non possono usare troppa memoria nella loro …

23 programming-languages memory-management garbage-collection

10

È possibile un linguaggio assembly universale per tutti i computer?

Vorrei porre alcune domande sul linguaggio dell'Assemblea. La mia comprensione è che è molto vicino al linguaggio automatico, rendendolo più veloce ed efficiente. Dato che esistono diverse architetture di computer, ciò significa che devo scrivere codice diverso in Assembly per architetture diverse? Se è così, perché Assembly non è, scrivi …

23 programming-languages computer-architecture

3

Classificazione dei sistemi di tipi (forte / debole, dinamico / statico)

In breve: come sono classificati i sistemi di tipi in contesti accademici; in particolare, dove posso trovare fonti affidabili che chiariscono le distinzioni tra i diversi tipi di sistema di tipi? In un certo senso la difficoltà con questa domanda non è che non riesco a trovare una risposta, ma …

23 reference-request programming-languages type-theory

1

Un ciclo do-while è sufficiente per la completezza di Turing?

So che, nei linguaggi di programmazione imperativa, un ciclo while-do è sufficiente come costrutto del flusso di controllo per rendere completo il linguaggio Turing (per quanto riguarda il flusso di controllo - ovviamente abbiamo anche bisogno di memoria illimitata e alcuni operatori ...) . L'essenza della mia domanda è: un …

22 programming-languages turing-completeness loops imperative-programming

5

Perché i linguaggi funzionali di Turing sono completi?

Forse la mia comprensione limitata dell'argomento non è corretta, ma questo è quello che ho capito finora: La programmazione funzionale si basa su Lambda Calculus, formulato da Alonzo Church. La programmazione imperativa si basa sul modello della macchina di Turing, realizzato da Alan Turing, studente della Chiesa. Il calcolo Lambda …

22 computability turing-machines programming-languages lambda-calculus turing-completeness

6

Qual è la differenza tra un linguaggio di scripting e un normale linguaggio di programmazione?

Qual è la differenza tra un linguaggio di programmazione e un linguaggio di scripting? Ad esempio, considera C contro Perl. L'unica differenza è che i linguaggi di scripting richiedono solo l'interprete e non richiedono la compilazione e il collegamento?

20 programming-languages

7

Quali sono esempi di incoerenza e incompletezza in Unix / C?

Nel famoso saggio di Richard Gabriel, The Rise of Worse is Better , contrappone versioni caricate delle filosofie di design del MIT / Stanford (Lisp) e del New Jersey (C / Unix) lungo gli assi della semplicità, correttezza, coerenza e completezza. Fornisce l'esempio del "problema di perdita del PC" ( …

20 programming-languages operating-systems

3

Quando due simulazioni non sono una bisimulazione?

Dato un sistema di transizione etichettato , dove S è un insieme di stati, Λ è un insieme di etichette e → ⊆ S × Λ × S è una relazione ternaria. Come al solito, scrivi p α → q per ( p , α , q ) ∈ → …

20 programming-languages formal-methods semantics process-algebras

3

Funzione ML di tipo 'a ->' b

Il nostro professore ci ha chiesto di pensare a una funzione in OCaml che ha il tipo 'a -> 'b cioè una funzione di un argomento che potrebbe essere qualsiasi cosa e che può restituire qualsiasi cosa diversa. Ho pensato di usare raiseuna funzione che ignora il suo argomento: let …

19 programming-languages typing functional-programming

2

Algoritmi di verifica del tipo

Sto iniziando una ricerca bibliografica personale sugli algoritmi di controllo del tipo e voglio alcuni consigli. Quali sono gli algoritmi, le strategie e le tecniche generali di controllo del tipo più comunemente usati? Sono particolarmente interessato a complessi algoritmi di controllo del tipo che sono stati implementati in linguaggi tipizzati …

19 algorithms programming-languages reference-request type-checking

Domande taggate «programming-languages»