19. apr

Dagsorden

• Funktioner, lets og lukkede scopes. Lokale variable behandles som LVar int, men de behandles løbende med varierende variablenavne alt efter, hvor langt ind i scopet med er kommet...(det er lettere at forklarer til mødet, men det er et stort problem).
• I lambda-sproget bruges en Lletrec, når der kommer en funktion efter, og en Llet, når der kommer en variable efter. Hvorfor skelnes mellem disse, når de alligevel indeholder to forskellige datatypeelementer?
• Derudover, hvorfor bruger Lletrec og Llet ikke deres liste (formegentligt lavet til at indeholde de lokale variable) i Llambda list * Lambda til netop at indeholde de lokale variable, men lader i stedet den næste variable være en nested Lletrec/Llet i Lambda-delen (som vel er designet til body-delen af let'en)?

Referat