Domande relative alla progettazione, all'implementazione e all'analisi dei linguaggi di programmazione. NON per domande su come programmare, che sono fuori tema su questo sito.
Dando un'occhiata alla pagina web di Julia , puoi vedere alcuni benchmark di diverse lingue attraverso diversi algoritmi (i tempi mostrati di seguito). Come può una lingua con un compilatore originariamente scritto in C, superare il codice C? Figura: tempi di riferimento relativi a C (minore è meglio, prestazione C …
Sono abbastanza fluente in C / C ++ e posso fare il giro dei vari linguaggi di scripting (awk / sed / perl). Ho iniziato a usare Python molto di più perché combina alcuni degli aspetti eleganti di C ++ con le capacità di scripting di awk / sed / …
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 …
Ho notato che alcune applicazioni o algoritmi basati su un linguaggio di programmazione, ad esempio C ++ / Rust, funzionano più velocemente o in modo più veloce di quelli basati su, Java / Node.js, in esecuzione sulla stessa macchina. Ho qualche domanda al riguardo: Perché succede? Cosa regola la "velocità" …
Domanda: "Alcune proprietà di un linguaggio di programmazione possono richiedere che l'unico modo per ottenere il codice scritto sia eseguito dall'interpretazione. In altre parole, la compilazione in un codice macchina nativo di una CPU tradizionale non è possibile. Quali sono queste proprietà?" Compilatori: principi e pratica di Parag H. Dave …
Come ingegnere del software, scrivo molto codice per i prodotti industriali. Elementi relativamente complicati con classi, thread, alcuni sforzi di progettazione, ma anche alcuni compromessi per le prestazioni. Faccio molti test e sono stanco dei test, quindi mi sono interessato a strumenti di dimostrazione formale, come Coq, Isabelle ... Potrei …
Attualmente sto finendo il mio Master in informatica. Sono interessato ai linguaggi di programmazione, in particolare ai sistemi di tipi. Mi sono interessato alla ricerca in questo campo e il prossimo semestre inizierò un dottorato di ricerca sull'argomento. Ora ecco la vera domanda: come posso spiegare cosa (voglio) fare alle …
Mi chiedo se è possibile creare compilatori per linguaggi dinamici come Ruby per avere prestazioni simili e comparabili a C / C ++? Da quello che ho capito sui compilatori, prendi Ruby per esempio, la compilazione del codice Ruby non può mai essere efficiente perché il modo in cui Ruby …
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 …
Esiste un insieme di costrutti del linguaggio di programmazione in un linguaggio di programmazione per essere considerato Turing completo? Da quello che posso dire da Wikipedia , la lingua deve supportare la ricorsione o, a quanto pare, deve essere in grado di funzionare senza fermarsi. È tutto quello che c'è …
I linguaggi di programmazione sicura (PL) stanno guadagnando popolarità. Mi chiedo quale sia la definizione formale di PL sicuro. Ad esempio, C non è sicuro, ma Java è sicuro. Ho il sospetto che la proprietà "sicura" dovrebbe essere applicata a un'implementazione PL piuttosto che al PL stesso. In tal caso, …
Ci scusiamo in anticipo per l'ingenuità di questa domanda. Sono un artista di 50 anni che cerca di capire correttamente i computer per la prima volta. Quindi ecco qui. Ho cercato di capire come i tipi di dati e le variabili sono gestiti da un compilatore (in senso molto generale, …
Mi sono imbattuto in uno strano problema durante la scrittura di un interprete che (dovrebbe) agganciarsi a programmi / funzioni esterni: le funzioni in 'C' e 'C ++' non possono agganciare funzioni variadiche , ad esempio non riesco a creare una funzione che chiama 'printf' con gli stessi argomenti esatti …
La breve storia Un famoso scienziato informatico, Tarjan , ha scritto un libro anni fa. Contiene uno pseudocodice assolutamente bizzarro. Qualcuno potrebbe spiegarlo per favore? La lunga storia Tarjan è noto per molti traguardi, incluso il fatto che era il coinventore degli alberi splay . Ha pubblicato un libro, " …
Un tipico garbage collector generazionale mantiene i dati allocati di recente in un'area di memoria separata. Nei programmi tipici, molti dati hanno una vita breve, quindi la raccolta frequente di rifiuti giovani (un ciclo GC minore) e la raccolta di rifiuti obsoleti di rado è un buon compromesso tra sovraccarico …
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.