Yhteenvetoa ja sovelluksia

Esitys aiheesta: "Yhteenvetoa ja sovelluksia"— Esityksen transkriptio:

1 Yhteenvetoa ja sovelluksia
TIES341 Funktio-ohjelmointi 2 Kevät 2006

2 Luentojen aiheet Luento 1: Aloitus Luennot 2­3: Tyyppiluokat
Luennot 4­5: Monadit Luennolla 5 myös: Tietueet Luennot 6­8: TaasLaskin monadien käyttöesimerkki (itse laskin) tyyppijärjestelmät unifikaatio Luento 9: ST-monadi, STRef, IORef Luento 10: mdo (arvorekursio) Luennot 11­12: Nuolet Luento 13: Jatkeet Luento 14: Tämä luento

3 Demoissa lisäksi Demo 1: ShowS, Gtk2HS Demo 5: Parsec
Demo 6: Tackling the Awkward Squad Demo 7: Fruit/wxFruit Demo 8: Haskell XML Toolbox torstain luennon paikalla

4 Tarinan opetus? Näkökulma 1
Kurssilla käsiteltiin edistyneiden funktio- ohjelmoijien käyttämiä abstraktiokeinovaroja Näkökulma 2 Kurssilla käsiteltiin imperatiivisen ohjelmoinnin maton alle lakaistuja villakoiria

5 In the Year Two Thousand...
Väitteeni on edelleen: Tältä ohjelmointi näyttää vuonna 2015! Mutta toki siihen mennessä on joitakin teräviä kulmia hiottu pois, joihin vielä nyt helposti satuttaa itsensä Yksityiskohdissa (mm. syntaksi) toki eroja Haskellin motto (Simon Peyton Jones 2003): “Avoid success at all costs.” Tony Hoare: “I fear that Haskell is doomed to succeed” ( retrospective/)

6 Sovelluksia: darcs David's Advanced Revision-Control System
Taustalla ajatus muutosten algebrasta “theory of patches”, inspiraatio kvanttimekaniikasta Ensimmäinen versio: C++ buginen paska, kieli ei tukenut bugittomuutta Uusi yritys: Haskell nykyinen versio Haskellilla Haskellilla teorian ja käytännön ero ei ole suuri :) Luettavaa

7 Sovelluksia: PUGS Perl 6:n toteutus -Ofun

8 Sovelluksia: Yi Haskell-pohjainen tekstieditori vrt. Emacs, Vi ym.
kesken

9 Tentistä Koealue: Kaikki luentoasiat Kaikki demotehtävät
Demoissa luettavaksi annetut artikkelit Suuret linjat olennaisempia kuin yksityiskohdat Monadien, tyyppiluokkien, tietueiden ja nuolien perusasiat myös yksityiskohtaisesti Saattaa tulla aineistotehtäviä aineisto tulee silloin tenttipaperin mukana Perinteinen tentti, ei apumateriaalia