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.
Supponiamo che un programma sia stato scritto in due lingue distinte, lascia che siano la lingua X e la lingua Y, se i loro compilatori generano lo stesso codice byte, perché dovrei usare la lingua X invece della lingua Y? Cosa definisce che una lingua è più veloce di un'altra? …
So che Idris ha tipi dipendenti ma non è completo. Cosa non può fare rinunciando alla completezza di Turing, ed è correlato ad avere tipi dipendenti? Immagino che questa sia una domanda piuttosto specifica, ma non conosco una grande quantità di tipi dipendenti e sistemi di tipi correlati.
Molti di noi hanno imparato a programmare usando linguaggi di programmazione "testuali" come Basic, C / C ++ e Java. Credo che sia più naturale ed efficiente per gli esseri umani pensare visivamente. La programmazione visiva consente agli sviluppatori di scrivere programmi manipolando elementi grafici. Immagino che l'utilizzo della programmazione …
Come educatore CS a livello universitario, la questione di quale linguaggio di programmazione insegnare nel primo corso di programmazione viene spesso discussa. Ci sono migliaia di lingue tra cui scegliere e molta febbre religiosa (o febbrile) che supporta un campo linguistico rispetto a un altro. Tutto questo pregiudizio soggettivo che …
Dijkstra, nel suo saggio Sulla crudeltà di insegnare davvero la scienza informatica , fa la seguente proposta per un corso introduttivo di programmazione: Da un lato, insegniamo ciò che assomiglia al calcolo del predicato, ma lo facciamo in modo molto diverso dai filosofi. Per addestrare il programmatore inesperto alla manipolazione …
Stavo leggendo di Iota e Jot e ho trovato questa sezione confusa: A differenza di Iota, in cui l'albero sintattico di una stringa può diramarsi a sinistra oa destra, la sintassi di Jot è uniformemente ramificata a sinistra. Di conseguenza, Iota è strettamente privo di contesto, ma Jot è un …
Fondamentalmente sono a conoscenza di tre basi per la matematica Insiemistica Teoria dei tipi Teoria delle categorie Quindi, in che modo sono correlati i linguaggi di programmazione e le basi della matematica? MODIFICARE La domanda originale era "Linguaggi di programmazione basati su basi matematiche" con l'aggiunta del paragarfo di E …
Esistono programmi in grado di "tradurre" il codice sorgente tra due lingue (supponendo che il traduttore abbia accesso alle librerie necessarie)? In caso affermativo, come funzionano (tecniche utilizzate, conoscenze richieste, ecc.)? Come sarebbero fattibili? In caso contrario, quali sono le restrizioni che impediscono il loro sviluppo? È un problema completo …
Il combinatore a virgola fissa FIX (noto anche come il combinatore Y) nel calcolo lambda (non tipizzato) ( λλ\lambda ) è definito come: FIX ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Capisco …
Questa domanda è stata migrata da Software Engineering Stack Exchange perché può essere risolta su Computer Science Stack Exchange. Migrato 6 anni fa . Possiamo studiare i linguaggi di programmazione nel contesto della linguistica? I linguaggi di programmazione si evolvono naturalmente in modo simile ai linguaggi naturali? Sebbene la piena …
Scriviamo principalmente programmi in un linguaggio di alto livello. Quindi, mentre studiavo, mi sono imbattuto in un linguaggio assembleare. Quindi un assemblatore converte il linguaggio assembly in linguaggio macchina e un compilatore fa lo stesso con un linguaggio di alto livello. Ho scoperto che il linguaggio assembly ha istruzioni come …
Alla ricerca di informazioni dettagliate sulle decisioni relative al design del linguaggio raccolto dall'immondizia. Forse un esperto di lingue potrebbe illuminarmi? Vengo da uno sfondo C ++, quindi questa area è sconcertante per me. Sembra che quasi tutti i moderni linguaggi di immondizia raccolti con il supporto di oggetti OOPy …
Nota, mentre so programmare, sono abbastanza principiante alla teoria CS. Secondo questa risposta La completezza di Turing è un concetto astratto di calcolabilità. Se una lingua è Turing completa, allora è in grado di fare qualsiasi calcolo che può fare qualsiasi altra lingua completa di Turing. E qualsiasi programma scritto …
Ho trovato diversi strumenti di programmazione visiva open source come Blockly e amici e altri progetti ospitati su Github, ma non sono riuscito a trovare nessuno che funzioni direttamente con l'albero di sintassi astratto. Perché? Lo sto chiedendo perché una volta scoperto che ogni compilatore là fuori ha una fase …
Ho cercato in rete una risposta a questa domanda e sembra che tutti conoscano implicitamente la risposta tranne me. Presumibilmente questo è perché le uniche persone a cui importa sono quelle che hanno avuto un'istruzione terziaria sull'argomento. Io, d'altra parte, sono stato gettato nel profondo per un incarico di scuola …
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.