5
-calcul avec réflexion
Je recherche un calcul simple qui prend en charge le raisonnement sur la réflexion , à savoir l'introspection et la manipulation des programmes en cours d'exécution. Existe-t-il une extension -calculus non typée qui permet de convertir termes en une forme qui peut être manipulée syntaxiquement puis évaluée par la suite?λλλ\lambdaλλ\lambda …