Ho svolto il secondo progetto di PR2 ( [url=https://www.di.unipi.it/~gadducci/PR2-15/progetto-15-002.pdf] https://www.di.unipi.it/~gadducci/PR2-15/progetto-15-002.pdf[/url]) 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:

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;; 
Qualcuno che sta facendo il progetto sa dirmi se è questo il modo giusto?

bongi23
Stai usando un ambiente separato per le funzioni ?