È possibile compilare un linguaggio di livello superiore in C ++ leggibile? [chiuso]

Il C ++ è un grande linguaggio in molti modi, ma alcune cose in particolare sono ingombranti da scrivere senza un IDE. Come utente VIM, sarebbe molto interessante se avessi accesso a un linguaggio di livello superiore che mi ha permesso di scrivere C ++ con S-Expressions e possibilmente con macro simili a Lisp, consentendo la generazione di codice pulito evitando di riscrivere gli stessi schemi ancora e ancora.

Ho chiesto su freenode e testato diverse idee, come la compilazione di Lisp-> C con compilatori come ECL e Bigloo, ma nessuno di questi ha generato un codice C particolarmente pulito.

Ci sono lavori su questo problema?

Compilare le lingue di livello superiore con quelle di livello inferiore è un gioco da ragazzi. Ci sono innumerevoli esempi di ciò che viene fatto. Senza andare troppo avanti, possiamo indicare i primi compilatori C ++ compilati in C.

Quando inizi a lanciare "pulito" e "leggibile" nel mix, tuttavia, le cose si fanno davvero difficili. Il codice pulito e leggibile esprime il significato e l' intento di ciò che stavi scrivendo. I computer sono notoriamente cattivi nell'interpretare e creare significato. È più probabile che tu finisca con variabili nominate int_147di input_buffer_length. Certo, se davvero volessi far funzionare questo progetto, potresti impegnarti in un enorme progetto di intelligenza artificiale per gestire la conversione del tuo Lisp in una sorta di C ++ decentemente leggibile ma, ad essere sinceri, i compilatori Common Lisp sono fottutamente bravi in ​​quello che fanno .

Più importante della difficoltà di generare C ++ da un Lisp è l'utilità di questo. Quale scopo servirebbe affinché il C ++ generato fosse leggibile? Se Lisp è il tuo codice sorgente, le rappresentazioni intermedie dovrebbero essere irrilevanti. Se vuoi essere in grado di consegnare il C ++ ai programmatori che non capiscono il tuo Lisp originale, ora hai un altro problema. Cosa succede quando vogliono modificare il C ++ generato? Cosa succede se scrivono cose in C ++ che non si traducono in modo chiaro nel tuo Lisp?

Diciamo che l'abbiamo risolto. È passato un decennio più tardi e, dopo aver bruciato centinaia di milioni di dollari di fondi DoD, abbiamo creato questo motore di traduzione linguistica massiccio, complesso (ma impeccabile) che può trasformare Lisp in C ++ idiomatico e viceversa. Cosa abbiamo davvero guadagnato che non sarebbe meglio realizzare insegnando alle persone un nuovo linguaggio di programmazione o semplicemente sviluppando un nuovo compilatore che ci permetta di collegare le due lingue?

Oh giusto. Il tuo capo vuole che tu scriva C ++ e preferiresti non farlo. Aggiorna il tuo curriculum e trova un nuovo lavoro.

Risposta breve, al momento non c'è nulla che ti aiuti a convertire Lisp in C ++ READABLE. Sicuramente puoi convertire qualsiasi cosa in C ++ o C ma il codice leggibile è scritto da umani, non da programmi. Sicuramente puoi generare codice C ++ con una corretta formattazione, rientri, nomi di classe carini e forse anche in qualche modo ottenere una traduzione perfetta dagli oggetti della classe Lisp in classi C ++. Forse puoi collegare le dipendenze della tua libreria proprio nel modo giusto, e forse puoi compilare binari che sono molto vicini a ciò che il linguaggio C avrebbe prodotto se tu avessi scritto tutto in C. Ma alla fine, il codice leggibile è una bellezza che non è compresa da parte di qualcuno, almeno non ancora, e forse mai considerato il termine leggibile è abbastanza soggettivo per cominciare e ciò che potrebbe essere considerato leggibile da un gruppo di sviluppatori può essere considerato atroce da altri.

Per rendere leggibile il C ++, devi scrivere in C ++, non in Lisp. Devi anche essere in grado di cambiare il tuo stile di codifica in base a ciò che le persone che leggeranno il tuo codice capiranno meglio. Proprio come i libri, i programmi sono scritti pensando a un pubblico specifico e possono essere belli e toccanti se scritti bene e offuscati e noiosi se no. E se non riusciamo a trovare un programma per scrivere bellissimi romanzi di narrativa per noi, allora non saremo in grado di trovare qualcosa da convertire in C ++ leggibile.

ViM è un ottimo IDE per C ++. Ha anche il miglior completamento che abbia mai visto finora, anche se diventa un po 'lento se si inseriscono molte intestazioni, il clang completo . E per la compilazione ho trovato comunque carenti tutti gli IDE; finisci per scrivere il sistema di compilazione in CMake o qualcosa del genere. E non ho visto nulla per fornire alcun aiuto per il periodo lisp.

È vero, C ++ non ha macro in stile lisp, ma i modelli possono fare tutto ciò che possono fare le macro igieniche dello schema e altro ancora, perché è possibile implementarle in modo diverso in base ai tipi e in base alle loro capacità. È vero, la sua mancanza di garbage collector rende le chiusure un po 'più noiose, ma il linguaggio RAII usato per la gestione delle risorse ha invece i suoi vantaggi e proprietà interessanti.

Se sei uno studente, conosci davvero tutto il C ++ avanzato? Dalla libreria di algoritmi alla scrittura di modelli con implementazioni alternative basate su proprietà dei tipi di argomenti, calcoli del tempo di compilazione utilizzando la meta-programmazione dei modelli (utilizzando Boost.MPL) per capire come funziona Boost sotto il cofano? In caso contrario, ti consiglio di cogliere questa opportunità come opportunità per imparare un po 'di C ++ avanzato. Non sarà necessario mantenere il compito scolastico, quindi puoi giocare con la lingua per vedere quanto valgono le caratteristiche in cui nel codice di produzione dovresti fare attenzione alla leggibilità.

E per rispondere alla domanda diretta finale: il C ++ ha così tanti altri modi di dire che non c'è modo di generare C ++ idiomatico da nulla. Semplicemente perché non ci sarà modo di esprimere la maggior parte di quegli idiomi in qualsiasi altra cosa. A partire dal fatto che qualsiasi cosa garbage collection stanzierà tutto sull'heap mentre in C ++ è idiomatico sfruttare lo stack.