Il y a le Gambit Scheme, le MIT Scheme, le PLT Scheme, le Chicken Scheme, le Bigloo, le Larceny, ... ; puis il y a tous les lisps.
Pourtant, il n'y a pas (à ma connaissance) un seul schéma/lisp populaire sur LLVM, même si LLVM fournit beaucoup de choses intéressantes comme :
Alors pourquoi n'y a-t-il pas de bon schéma/lisp sur LLVM ?
LLVM apporte beaucoup, mais ce n'est encore qu'une petite partie du temps d'exécution dont un langage fonctionnel a besoin. Et les appels FFI en C ne sont pas compliqués parce que LLVM laisse la gestion de la mémoire à quelqu'un d'autre. L'interaction avec le Garbage Collector est ce qui rend les appels FFI difficiles dans des langages tels que Scheme.
Vous pourriez être intéressé par HLVM mais cela reste plus qu'expérimental à ce stade.
Je ne suis pas sûr, mais êtes-vous en train de dire qu'un ramasse-miettes [en général] est la raison pour laquelle LLVM est difficile, ou simplement qu'un [ramasse-miettes pour LISP] est trop difficile ? Parce que je suis presque sûr qu'il y a des langages dans LLVM avec des garbage collectors. La documentation de LLVM mentionne même mentionnent spécifiquement le régime. llvm.org/docs/GarbageCollection.html
@KatasticVoyage Je veux dire qu'un garbage collector efficace est difficile, parce que c'est quelque chose qui ne peut pas être simplement ajouté à un framework de génération de code comme LLVM. Ce n'est pas impossible, et bien que cela n'ait pas été fait en 2010, cela a été fait plusieurs fois à ce jour. Je ne sais pas trop quoi faire de cette réponse maintenant.
Il y a un très petit compilateur Scheme, apparemment non optimisé, ici :
http://www.ida.liu.se/~tobnu/scheme2llvm/
Je prends votre question au pied de la lettre,
Je pense qu'il serait très amusant pour quelqu'un de construire un compilateur Scheme basé sur LLVM. Les compilateurs Scheme de SICP et PAIP sont de bons exemples.
Le lien est mort, mais voici le lien Archives les plus récentes que j'ai pu trouver à partir de février 2011.
Peut-être ai-je mal compris la question ou le contexte, mais je pense que vous pourriez utiliser ECL qui est un Common Lisp qui se compile en C, et utiliser l'option Clang pour cibler LLVM (au lieu de GCC).
Je ne suis pas sûr des avantages que cela vous apporterait, mais cela vous donnerait un Lisp fonctionnant avec LLVM =].
Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.
19 votes
Cette question demande-t-elle de vraies réponses - comme des problèmes avec LLVM et/ou Scheme, soit techniques soit sociaux, qui empêchent cette implémentation d'être faite ? Ou s'agit-il simplement d'une plainte rhétorique, comme "Pourquoi personne n'a fait la vaisselle ?" ou "Pourquoi ce bus est-il si en retard ?".