Ho svolto il secondo progetto di PR2 ( https://www.di.unipi.it/~gadducci/PR2-1 ... 15-002.pdf) ma sono fermo agli ultimi due operatori, l'Applicazione funzione e il for loop.

Per l'applicazione funzionale avevo pensato di utilizzare lo stesso codice che c'è anche sulle slide: | 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;;
Qualcuno che sta facendo il progetto sa dirmi se è questo il modo giusto?