Luento 7 – 4.2.2016
Kirjallisuus
Ennakkotehtävänä luettu
- LM luku 8
- Guy Lewis Steele, Jr., Gerald Jay Sussman: Lambda the Ultimate Imperative. AI Memo 353, Massachusetts Institute of Technology Artificial Intelligence Laboratory, 1976. PDF
Luennolla mainittu
- Lambda the Ultimate (WWW-sivusto)
Luentotiivistelmä
Aluksi käytiin läpi häntärekursion ja yleisemmin häntäkutsun poiston idea.
Sitten aloitettiin lambdakielen käsittely: abstrakti syntaksi, FV-funktio, korvaus ja α-ekvivalenssi. Loput jäivät maanantaille. Esimerkkinä muuttujankaappauksesta näytin C-kielellä kirjoitetun SWAP-makron.
Mainostin Scheme- ja Racket-kieliä sekä yllä linkittämääni Lambda the Ultimate -sivustoa hyviksi tutustumisen kohteeksi.
These are the current permissions for this document; please modify if needed. You can always modify these permissions from the manage page.