Päivä |
Sisältö |
Esiintyjä |
|
26.1.2001
|
Ensimmäinen kokoontuminen
|
|
|
2.2.2001
|
---
|
|
|
9.2.2001
|
Makrot (CL-makrot, quasiquote, hygieenisyys,
R5RS-makrot, esim. sidontamuodot)
|
Timo Lilja
|
|
16.2.2001
|
Yhdistetyt tietotyypit: vektorit, tietueet (structures
and records) ja erityisesti oliot (esim. SOS)
|
Jussi Rautio
|
|
23.2.2001
|
---
|
|
|
2.3.2001
|
Call/cc: Toimintaperiaate ja käyttö (esimerkkeinä
catch/throw, korutiinit, amb:n toteutus)
|
Ossi Väänänen
|
|
9.3.2001
|
Rekursiiviset ohjelmat datan
induktiivisesta määritelmästä (kirjan luvut 2 ja 3)
|
Matti Helin
|
|
16.3.2001
|
Lambda-kalkyylin muunnokset ja Scheme (kalvot ps-muodossa)
|
Tommi Syrjänen
|
|
23.3.2001
|
Tulkki, parametrinvälitys ja näkyvyys
(luvut 5 ja 6)
|
Jussi Rautio
|
|
30.3.2001
|
Oliokielen tulkin toteuttaminen Schemellä (mm. kirjan luku 7)
|
Riku Saikkonen
|
|
6.4.2001
|
Continuation-passing style (kirjan luku 8 ja osia luvusta 9)
|
Tommi Syrjänen
|
|
13.4.2001
|
---
|
|
|
20.4.2001
|
Call/cc:n toteuttaminen
|
Timo Lilja
|
|
27.4.2001
|
Kääntäjän johtaminen (kirjan luku 12 + luvusta 11
tarvittavat kohdat)
|
Riku Saikkonen
|
|
4.5.2001
|
1. Esimerkki Scheme-kääntäjästä (esim. Stalin)
2. Scheme ja roskankeruu (lähtökohtana esim. Paul Wilsonin materiaali)
|
Matti Helin
Jari Kirma
|
