ovib
commented
1 year ago sto cominciando a fare questo. Non credo di avere i privilegi per spostarlo su "In progress". Se non ci sono altri task che si possono cominciare provate anche voi a fare questo... al massimo ci confrontiamo e uniamo le soluzioni o teniamo la migliore.
Guardate le slide da 48/141 a 56/141 nel seguente pdf: https://elearning.uniud.it/moodle/mod/resource/view.php?id=114613
Inoltre consiglio di leggere anche tutte le slide a questo link prima di procedere: https://inst.eecs.berkeley.edu/~cs164/fa06/lectures/lecture19.pdf Fornisce una descrizione credo un pò più comprensibile rispetto a quella del prof, oltre a fornire anche degli esempi di costrutti particolari. IN PARTICOLARE LEGGETE LA SLIDE 37. Vi da un'idea del fatto che c'è un environment globale che parte dalla radice e viene passato lungo l'albero venendo man mano aggiornato con magari dichiarazioni locali di variabili o simili.
Supponete che esistano le funzioni come sup e rel presenti nelle slide. Nel nostro caso fanno riferimento però a relazioni di compatibilità diverse che ho presentato nella descrizione principale di questo progetto.
NOTA: probabilmente bisognerà fare delle modifiche dopo che avremo introdotto anche type system rules per dichiarazioni; vedi slide 66/141