T-93.850 / T-106.850 Funktionaalisen ohjelmoinnin seminaari (2-3 ov) L, syksy 2004

Aihealueet (alustava)

Johdatus funktionaaliseen ohjelmointiin

Tyyppijärjestelmät

Funktionaalinen IO

Kontinuaatiot

Evaluointijärjestykset

Rinnakkaisuuden hallinta

Funktionaaliset tietorakenteet ja algoritmit

Sekalaisia aiheita

Opettajat:

TkT Seppo Törmä

DI Jussi Rautio

DI Riku Saikkonen

TkY Timo Lilja

Suorittaminen:

Esitelmä (30-45 min)

Harjoitustyö Haskell-kielellä

Aktiivinen keskustelu ja läsnäolo (vähintään 80% kerroista)

Arvostelu:

Hyväksytty / hylätty.

Kokoontumiset:

Keskiviikkoisin kello 14-16 salissa T5 (A133).

Esitelmät:

15.9. Seppo Törmä: Kurssin järjestelyt

15.9. Timo Lilja: Haskell-kielen perusteet[PS]

22.9. Riku Saikkonen: Funktionaalisen ohjelmoinnin erityispiirteitä[PS]

22.9. Jussi Rautio: Haskell-kielen perusteet II[PS]

29.9. Esa Linnanto: Tyyppipäättely

29.9. Aleksi Ahtiainen: Tyyppiluokat Haskellissa[PS]

6.10. Oskar Ojala: Virta- ja monadipohjaisen IO:n käyttö Haskellissa[PDF][PS]

6.10. Jukka Villstedt: Funktionaalisten taulukkojen toteutustavat[PDF]

13.10. Tapani Raiko: Funktionaaliset tietorakenteet ja algoritmit

13.10. Juha Aatrokoski: Monadit[PDF]

20.10. Riku Saikkonen/Timo Lilja: Haskell-esimerkki[Haskell]

20.10. Yrjö Kari-Koskinen: FFI ja GUI Haskellissa [PS] [PDF]

27.10. Kirsi Louhisuo: Lambdakalkyyli [PDF]

27.10. Tero Hasu: CPS ja kontinuaatiot

3.11. Kimmo Karlsson: Haskellin ja ML:n moduulijärjestelmät

3.11. Antti Sykäri: Makrot funktionaalisessa ohjelmoinnissa

10.11. Ilpo Stenberg: Concurrent Haskell

17.11. Jorma Sainio: Rinnakkaisuuslaajennusten vertailu

17.11. Antti Kantee: Debuggaus ja testaus [PDF]

24.11. Magnus Sandberg: Laajennettu hahmonsovitus

24.11. Erik Ihcrke: Kohdealuekohtaiset kielet

1.12. Tuukka Lehtonen: ?

1.12. Antti Villberg: ?

8.12. Loppupalaveri

Harjoitustyö:

Suositeltu laajuus 40 tuntia

Palautus sähköpostilla osoitteeseen Jussi.Rautio@hut.fi

Viimeinen palautuspäivä 3.12.

Ehdotuksia harjoitustyöaiheiksi:

Scheme-tulkki

Logiikkatulkki

Chat-serveri

Kahden hengen yksinkertainen peli tekoälyllä

Toiminta- tai strategiapeli (opengl, vuoropohjainen)

Taulukkolaskenta, postinlukuohjelma tai vastaava

Graafivisualisointi + algoritmin animointi

Ray-tracer (syöte haskell-funktioilla)

Piiri- tms. simulaattori

Symbolinen laskenta

Linkkejä:

haskell.org - Haskellin "kotisivu"