Ex02 freevars: No Solution?

GS-812
Windoof-User
Windoof-User
Beiträge: 30
Registriert: 25. Apr 2015 12:47

Ex02 freevars: No Solution?

Beitrag von GS-812 »

Hi,

in ex02 "Task 3: Programs" there is the task:

2) Write a function 'freevars' that collects the free (unbound) variables of a program.

Code: Alles auswählen

def freevars(p: F1LAE): Set[Symbol] = ???
Is there any solutions published?
I did not found any solution.
Is that a additional task without solution?

Thanks in advance

Ragnar
Mausschubser
Mausschubser
Beiträge: 63
Registriert: 21. Okt 2009 19:15

Re: Ex02 freevars: No Solution?

Beitrag von Ragnar »

Hi,

I skipped that one during the exercise because of time constraints, and left it for the students to solve on their own as a training exercise, it is conceptually very similar to the progSize task. There is also the solution for ex13 which does contain include a mathematical definition of a Free function for the lambda calculus.
If someone wants to post a solution, I will gladly discuss that :-)

Antworten

Zurück zu „Archiv“