Per l'applicazione funzionale avevo pensato di utilizzare lo stesso codice che c'è anche sulle slide:
Codice: Seleziona tutto
| Applicazione (name,arg) -> let value= eval arg env funenv in
let (param, body, amb) = funenv name in
let env1 = bind env param value in
eval body env1 funenv;;
bongi23
Stai usando un ambiente separato per le funzioni ?