Johdatus lambda-kalkyyliin

Skip to end of metadata
Go to start of metadata

Lambda-kalkyyli on laskennan malli, johon useimpien funktionaalisten ohjelmointikielten teoria pohjautuu. Kurssilla tutkitaan puhtaan yksinkertaisen lambda-kalkyylin sievennyssääntöjä ja harjoitellaan käytännön ohjelmointia sen avulla.

Uutiset

Seuraa wikin uutissivulta kurssiin liittyviä tiedotuksia.

Virallisia tietoja

  • Kurssin "virallinen" sivu TKTL:n sivuilla
  • harjoitustehtävät palautetaan moodleen, jossa kaikkien opiskelijoiden pitää liittyä kurssille
  • Järjestetään periodissa II, 16 opetustuntia
  • luentoina yksi esiluento + 7 luentokertaa:
    • esiluento pe 24.10. klo 12-14 CK112
    • luentokerrat ti 28.10.-2.12. klo 10-12 CK112 (ti 25.11. D122)
    • kyselytunteja, joilta saa mm. apua harjoitustehtäviin to 16-18 C222
  • suoritetaan harjoitustehtävillä
  • vastuuhenkilöt (virallisesti) Panu Kalliokoski ja Lauri Alanko, epävirallisesti myös Joel Kaasinen ja Janne Korhonen
  • 2op
  • kuuluu aineopintoihin, huolehdimme että voi käyttää osana syventäviä
  • Pohjatietovaatimuksena jonkinlainen ohjelmointitaito tai tietorakenteiden tuntemus
  • Arvostelu: Läpipääsyyn vaaditaan 30 laskuharjoituspistettä, ja jokeritehtävistä saadut pisteet lasketaan mukaan samalla tavalla kuin normaalitkin pisteet. Arvosana määräytyy seuraavasti:
    • 30 - 34 p: 1
    • 35 - 39 p: 2
    • 40 - 44 p: 3
    • 45 - 49 p: 4
    • 50+ p: 5

Luentomateriaalia

Harjoitustehtävät

Harjoitustehtävien vastaukset palautetaan TKTL:n moodleen tänne. Muistakaa liittyä moodlessa kurssin osallistujiksi, jotta pystytte antamaan tehtäväpalautukset. Tehtävät on palautettava aina seuraavan viikon lauantaihin mennessä, eli aikaa tehtävien tekemiseen on aina kymmenen päivää.

Sanasto

Tekeillä olevasta sanastosta löytyy englanninkielisiä vastineita termeille, ja myöhemmin selityksiäkin.

Välineet

Linkkejä

Tavoitteet

  • saada käytännön harjoitusta funktionaalisesta ohjelmoinnista
  • opettaa ohjelmointityyliä
  • antaa kokemusta yksinkertaisista laskennan malleista
  • käydä läpi tietorakenteiden teoreettisia perusteita ja määrittelemistä
  • ymmärtää funktionaalisten kielten toteutusta
Labels:
None
Enter labels to add to this page:
Please wait 
Looking for a label? Just start typing.

10 Comments

comments.show.hide

  1. 2008-11-05

    Henri Losoi

    Tästä kirjasta voi olla hyötyä: http://research.microsoft.com/~simonpj/Papers/slpj-book-1987/PAGES/III.HTM Lisää täältä: http://research.microsoft.com/~simonpj/Papers/slpj-book-1987/index.htm

    Kurssin pitäjät varmaan osaisivat suositella parempaa itseopiskelumateriaalia. Tuota kirjaa suositeltiin #haskell'issa.

  2. 2008-11-20

    Kaj Sotala

    Muistiinpanoja kolmannen viikon Fun Club-neuvontakerhosta, auttavat huomattavasti kolmansien kotitehtävien kanssa:

    http://www.xuenay.net/Random/LambdaFunClub3.txt

    1. 2008-11-21

      Anonymous

      Hyvä linkki!

      Olen kerännyt ja siistinnyt tuota tietoa näiltä foorumeilta tänne:

      http://www.google.com/notebook/user/06463476723850631846

      > Lambda

      SL
       

    2. 2008-11-27

      Kaj Sotala

      Neljäs viikko:

      http://www.xuenay.net/Random/LambdaFunClub4.txt

  3. 2008-11-21

    Martin Pärtel

    Joskus lausekkeita sievennellessä tahtoo mennä sulut sekaisin. Tähän auttaa jos saa editorin värittämään sulut automaattisesti.

    Esim. KDE:n KWrite:ssa ja Kate:ssa se onnistuu varsin helposti valitsemalla Tools->Highlighting->Scripts->Scheme.

    1. 2008-11-22

      Anonymous

      Kiitti vinkistä!

      Raindow Brackets in VIM
      Sain tietoon #vim'istä tälläisen sivun http://mysite.verizon.net/astronaut/vim/ ja sieltä käskettiin valitsemaan "Rainbow Brackets". En sit tiedä miten tuo toimii. Kuitenkin sama toiminta pitäisi olla. Pari pluginia pitäis hommata, mutta luulis, että siihen olisi helpompi tapa?!

      1. 2008-11-22

        Jouko Strömmer

        Jos alla on tuore Vim, niin editoi ~/.vimrc:tä siten, että lisäät rivin:

        let g:lisp_rainbow=1

        Vimin mukana tuleva Lisp-syntaksitiedosto osaa tuollaisen sateenkaarivärityksen, joten rivin lisäämisen jälkeen se otetaan käyttöön lispiä editoidessa. Jos kirjoittelet esim. kotitehtäviä etkä pelkkää koodia niin voit kertoa mitä syntaksiväritystä käytetään sanomalla

        :set syntax=lisp

        Selkeyttää kivasti Värityksen saa vastaavasti pois komennolla :set syntax=off

        1. 2008-11-22

          Anonymous

          Kiitos vinkistä!

          Vastaan anonyymina, kun en ole saanut tuota salasanaa emailia. Saako ton Lispin vakiona aina päälle? Mitä haittaa sen käytöstä voi olla? Tiedätkö mistä voi johtua, kun VIM tuhos mun sulkeet? Yritin pistää sen vakiona päälle. Tuli ylimääräisiä sulkeita ja osa katosi.

          HL

          1. 2008-11-23

            Jouko Strömmer

            Saa sen vakiona päälle vaikkapa lisäämällä rivit

            set syntax=manual

            set syntax=lisp

            ~/.vimrc:hen, mutta varmaan täsmällisempikin tapa olisi. Tuskin haluat kuitenkaan sitä vakiona päälle koska sitten kaikki muukin väritetään lispimäisesti, vaikka olisikin javaa tahi sähköpostiviesti (käytännössä lainausmerkkien sisällä oleva teksti värjääntyy, vakiot t ja nil sekä toki sulkeet sun muut).

            Vim on kiltti eikä "tuhoa" sulkeita itsestään. Ettei esim. terminaalin väripaletti olisi kummallinen tai jotain?

            1. 2008-11-23

              Anonymous

              Tämä koodi toimii minulla:
              :au BufEnter,BufNewFile * set syntax=lisp

Add Comment