Est-il possible de compiler un langage de niveau supérieur en C ++ lisible? [fermé]

Le C ++ est un excellent langage à bien des égards, mais certaines choses en particulier sont lourdes à écrire sans IDE. En tant qu'utilisateur VIM, ce serait très intéressant si j'avais accès à un langage de niveau supérieur qui me permettait d'écrire C ++ avec des expressions S et éventuellement avec des macros de type Lisp, permettant la génération de code propre tout en évitant de réécrire les mêmes patters encore et encore.

J'ai demandé sur freenode et testé plusieurs idées, telles que la compilation de Lisp-> C avec des compilateurs tels que ECL et Bigloo, mais aucune de celles-ci n'a généré un code C particulièrement propre.

Y a-t-il des travaux sur cette question?

Compiler des langues de niveau supérieur vers des langues de niveau inférieur est un gâteau. Il existe d'innombrables exemples de ce qui se fait. Sans aller sur une grande partie de la tangente, nous pouvons pointer vers les premiers compilateurs C ++ qui se sont compilés en C.

Cependant, lorsque vous commencez à lancer "clean" et "readable" dans le mix, les choses deviennent vraiment difficiles. Un code propre et lisible exprime la signification et l' intention de ce que vous écriviez. Les ordinateurs sont notoirement mauvais pour interpréter et créer du sens. Vous êtes plus susceptible de vous retrouver avec des variables nommées int_147que input_buffer_length. Bien sûr, si vous vouliez vraiment faire fonctionner ce projet, vous pourriez vous lancer dans un projet d'IA massif pour gérer la conversion de votre Lisp en une sorte de C ++ lisible décemment, mais, pour être parfaitement honnête, les compilateurs Common Lisp sont plutôt bons à faire. .

L'utilité de ceci est plus importante que la difficulté de générer du C ++ à partir d'un Lisp. À quoi cela servirait-il que le C ++ généré soit lisible? Si le Lisp est votre code source, les représentations intermédiaires ne devraient pas être pertinentes. Si vous voulez pouvoir remettre le C ++ à des programmeurs qui ne comprennent pas votre Lisp d'origine, vous avez maintenant un autre problème. Que se passe-t-il quand ils veulent modifier votre C ++ généré? Que se passe-t-il s'ils écrivent des choses en C ++ qui ne se traduisent pas proprement dans votre Lisp?

Disons que nous avons résolu cela. C'est une décennie plus tard et, après avoir dépensé des centaines de millions de dollars en subventions du DoD, nous avons construit ce moteur de traduction linguistique massif, complexe (mais sans faille) qui peut transformer Lisp en C ++ idiomatique et vice versa. Qu'avons-nous vraiment gagné qui ne serait pas mieux accompli en enseignant aux gens un nouveau langage de programmation ou en développant simplement un nouveau compilateur qui nous permet de lier les deux langages?

Oh, c'est vrai. Votre patron veut que vous écriviez C ++ et vous préférez ne pas. Mettez à jour votre CV et trouvez un nouvel emploi.

Réponse courte, il n'y a actuellement rien qui puisse vous aider à convertir Lisp en READABLE C ++. Bien sûr, vous pouvez convertir n'importe quoi en C ++ ou C mais le code lisible est écrit par les humains, pas par les programmes. Bien sûr, vous pouvez générer du code C ++ avec un formatage approprié, des retraits, de bons noms de classe et peut-être même obtenir une traduction parfaite des objets de classe Lisp en classes C ++. Peut-être que vous pouvez obtenir vos dépendances de bibliothèque liées correctement, et peut-être que vous pouvez compiler des binaires qui sont très proches de ce que le langage C aurait produit si vous aviez écrit le tout en C. Mais finalement, le code lisible est une beauté qui n'est pas comprise par quiconque, du moins pas encore, et peut-être jamais en considérant que le terme lisible est assez subjectif pour commencer et ce qui pourrait être considéré comme lisible par un groupe de développeurs peut être considéré comme atroce par d'autres.

Pour rendre le C ++ lisible, vous devez écrire en C ++, pas en Lisp. Vous devez également pouvoir modifier votre style de codage en fonction de ce que les personnes qui liront votre code comprendront le mieux. Tout comme les livres, les programmes sont écrits avec un public spécifique à l'esprit et peuvent être beaux et touchants s'ils sont bien écrits, et obscurs et fastidieux sinon. Et si nous ne pouvons pas proposer un programme pour écrire de beaux romans de fiction pour nous, alors nous ne pourrons pas trouver quelque chose à convertir en C ++ lisible.

ViM est un excellent IDE pour C ++. Il a la meilleure finition que j'ai jamais vue jusqu'à présent, bien que cela devienne un peu lent si vous tirez beaucoup d'en-têtes, le clang est terminé . Et pour la compilation, j'ai trouvé que tous les IDE manquaient de toute façon; vous finissez par écrire le système de construction dans CMake ou quelque chose de toute façon. Et je n'ai rien vu pour apporter de l' aide pour le lisp, point final.

Certes, C ++ n'a pas de macros de style lisp, mais les modèles peuvent faire tout ce que les macros hygiéniques du schéma peuvent et plus encore, car vous pouvez les implémenter différemment en fonction des types et en fonction de leurs capacités. Certes, son manque de garbage collector rend les fermetures un peu plus fastidieuses, mais l'idiome RAII utilisé pour la gestion des ressources a ses propres avantages et propriétés intéressantes.

Si vous êtes étudiant, connaissez-vous vraiment tous les C ++ avancés? De la bibliothèque d'algorithmes à l'écriture de modèles avec des implémentations alternatives basées sur les propriétés des types d'arguments, de la compilation de calculs de temps à l'aide de la méta-programmation de modèles (à l'aide de Boost.MPL) à la compréhension du fonctionnement de Boost sous le capot? Si ce n'est pas le cas, je recommande de saisir cette opportunité pour apprendre du C ++ avancé. Le devoir d'école n'aura pas besoin d'être maintenu, vous pouvez donc jouer avec la langue pour voir ce que valent les fonctionnalités là où dans le code de production, vous devez faire attention à la lisibilité.

Et pour répondre à la dernière question directe: C ++ a tellement plus d'idiomes sous sa ceinture qu'il n'y a aucun moyen de générer du C ++ idiomatique à partir de quoi que ce soit. Tout simplement parce qu'il n'y aura aucun moyen d'exprimer la plupart de ces idiomes dans autre chose. En partant du fait que n'importe quoi, la récupération de place allouera tout sur le tas alors qu'en C ++, il est idiomatique de tirer parti de la pile.