Tik-76.286 Scheme-seminaari (kevät 2001), 2 ov

Seminaarissa käydään läpi niitä Schemen piirteitä, joita ei käsitelty kurssilla Tik-76.010 Ohjelmoinnin peruskurssi T1. Lisäksi seminaarissa tarkastellaan näitä piirteitä valaisevia malleja sekä piirteiden toteuttamiseen tarvittavia tekniikoita.

Käsiteltäviä aiheita ovat:

• Schemen makrot (R5RS:n mukaan) ja quasiquote
• Schemen sidontamuodot (let*, letrec, fluid let, named let)
• Lambda-kalkyylin muunnossäännöt ja Scheme
• Tietueet (strucutres & records) ja oliot (SOS)
• Oliokeskeisen kielen tulkki Schemellä
• Ohjelmien muuntaminen kontinuaatioiden välitysmuotoon (continuation passing style)
• Kontinuaatioiden käyttäminen ohjelmasta käsin (call-with-current-continuation, eli call/cc)
• Esimerkkejä call/cc:n käyttämisestä
  • poikkeukset ja uudelleenaloitukset
  • korutiinit
  • ambin toteutus call/cc:llä
• Kontinuaatioiden toteuttaminen
• Kontinuaatioiden merkitys kääntämisessä
• Esimerkkejä mielenkiintoisista Scheme-kääntäjistä (esim. Stalin)

Seminaari kokoontuu perjantaisin klo 12-14. Ensimmäinen kokoontuminen on 26.1.2001.

T-talon neuvotteluhuone A232.

Seminaarin suorittaminen edellyttää seminaariesitelmien pitämistä, aktiivista osallistuumista sekä pientä kontinuaatioaiheista harjoitustyötä.

Tik-76.010 Ohjelmoinnin peruskurssi T1

Seminaari perustuu suurelta osalta (joskaan ei kokonaan) kirjaan:

D.P. Friedman, M. Wand & C.T. Hayes: Essentials of Programming Languages, MIT Press, 1992