Projektid
Projekti eduka lahendamise ja ettenäitamise eest saab kuni 8 boonuspunkti (ehk umbes kahe kodutöö jagu). Ülesanded on iseseisvaks lahendamiseks. Ette saab näidata näiteks 14. praksis.
Valige üks järgnevatest teemadest:
- lambda-termide ilutrükk
- lambda-termide kompileerimine ja väärtustamine kasutades SKI kombinaatorloogikat
- lambda-termide kompileerimine ja väärtustamine kasutades kolme instruktsiooni masinat (TIM)
- Damas–Hindley–Milner tüübituletus