Maintenant, avoir un système self-réflexif statiquement typé ? j'ai entendu parler d'expériences smalltalk mais c'est tout. Peut-être caml s'en approche par camlp4 et le chargement dynamique de libs mais on est loin du compte. P4 offre un vrai système de macros sympa (je connais pas celui de lisp).
MetaOCaml (et son cousin MetaML) comme leur nom l'indique s'efforcent de permettre la métaprogrammation tout en conservant les qualités bien connues des langages de la famille ML
[^] # Re: vive Lelisp ;)
Posté par AnneDeMontMorency . En réponse à la dépêche Common LISP, un langage à (re)découvrir. Évalué à 1.
MetaOCaml (et son cousin MetaML) comme leur nom l'indique s'efforcent de permettre la métaprogrammation tout en conservant les qualités bien connues des langages de la famille ML
http://cs-www.cs.yale.edu/homes/taha/MetaOCaml/(...)
http://www.cse.ogi.edu/PacSoft/projects/metaml/(...)
http://www.cse.ogi.edu/PacSoft/projects/Mustang/Overview.html(...)