Deferred Substitution and Recursion

sewe
Sonntagsinformatiker
Beiträge: 295
Registriert: 16. Jan 2009 14:53
Kontaktdaten:

Deferred Substitution and Recursion

In last week's exercise class the question arose how recursion interacts with the environment (substitution repository) used when implementing deferred substitution. At least in the case of F1WAE (which was discussed in class) the answer is: it works fine. See https://cage.st.informatik.tu-darmstadt ... ng-if0.scm to toy around with this a bit. (I have added support for the if0 expression to the F1WAE interpreter with deferred substitution.)