TIES343 - Kurssisisältö

Sisältö

Johdatus ja alkeet

• Learn You A Haskell, kappaleet 1.Introduction - 4. Syntax in Functions, 7. Modules - 8. Making Our Own Types and typeclasses.
• Real World Haskell, kappaleet 1. Getting Started - 3. Defining Types, Streamlining functions
• Tehtäviä: Tyypinpäättelytehtäviä, yksinkertaisia funktioita ja tietotyyppejä.
• Opitaan: Haskellin syntaksi ja tyyppimääreiden perusteet. Haskell tulkin käyttö. Luodaan yksinkertaisia, ei rekursiivisia funktioita ja omia tietotyyppejä. Opitaan käyttämään haskellin modulijärjestelmää ja kääntämään ohjelmia cabal-install ja cabal-dev työkaluilla.

Rekursio ja Induktio

• Learn You A Haskell, kappaleet 5. Recursion
• Tehtäviä: Muutama todistustehtävä, ehkäpä yksi ohjelman johtaminen. Ohjelmoidaan muutamia
• Opitaan: Ajattelemaan rekursion kanssa, luomaan rekursiivisia funktioita ja yksinkertaisia rekursiivisia tietorakenteita (?) HUOM: Tarvitsee aikalailla omaa materiaalia induktion kanssa

Funktionaalit

• Learn You A Haskell, kappale 6
• Real World Haskell, kappale 4
• map,foldl,foldr,filter,curry-numeraalit, kompositio
• Opitaan: Funktion käyttö arvoina.

IO

• LYAH, Kappale 9.
• RWH, Kappaleet 7–9

Johdatus Funktoreihin, applikatiivisiin funktoreihin, monoideihin ja monadeihin

• LYAH Kappaleet 11–13
• RWH Kappale 15
• Tehtäviä: Soveltavia tehtäviä, IO:ta, rekursiota monadeissa, valmiiden monadien käyttöä

Lisää kombinaattoreita

• Parserit ja parserikombinaattorit
• Prettyprinterit? Vai grafiikkakombinaattorit?

Monadimuuntimet, Virheiden hallinta

• RWH 18–19

Persistentit tietorakenteet

• Learn You A Haskell, kappale 8.
• RWH, Kappale 13, 28. Data structures
• Zipperit?
• Tehtäviä: Binääripuu, lista, pino, kaksipäinen pino, prioriteettijono (Ehkä) aikavaativuuksia

Rinnakkaisuus

• Opitaan: Control.Parallel sekä Control.Concurrent ja STM.
• RWH: kappaleet 24, 28

Foreign Function Interface

• RWH 17
• HUOM: Tarvitsee tukimateriaalia

Muut haasteet - Suorituskyky ja vieraat kirjastot

• RWH 17
• RWH 20
• RWH 25

Yhteeveto