Evaluare expresii lambda

Scopul laboratorului:

• obișnuirea studenților cu calculul lambda:
  • ce e o expresie
  • ce sunt variabilele libere/legate
  • cum se evaluează o expresie
• implementarea unei aplicații practice de evaluare a expresiilor lambda (în Haskell)

Calculul lambda este un model computațional (echivalent din punct de vedere al expresivității cu Mașina Turing), bazat pe funcții, în care computația este exprimată ca o serie succesivă de aplicări de funcții, i.e. substituții de variabile.

TODO

TODO