Az ELTE IK Programtervező Informatikus MSc képzésén található Nyelvek Típusrendszere (Lambda Kalkulus) nevű tantárgy jegyzetei.

1. Vizsga

Az első Nyelvek Típusrendszere vizsgaalkalmon a következők voltak a kérdések:

  1. Mi a közös tulajdonság a különböző típusrendszerekben az absztrakciók típusát megadó típusszabályokban? 1 pont
  2. Milyen hasznos állítást mondanak ki a különböző típusrendszerek tárgyredukció tételei? 1p
  3. A Curry típusrendszerben a
    (lambda y.(let f = y in pair(f 0) (f true)))
    kifejezés nem típusozható. Miért? 1p
  4. Miért nevezik a lambda P típusrendszertt függő típusrendszernek? 1p
  5. Az F2 típusrendszerhez viszonyítva milyen új fogalom jelenik meg az F3 típusrendszerben? 1p
  6. Határozza meg a megadott típuskikövetkeztető módszerrel a lambda y.yxx kifejezés principális típusát, ha L (fejre fordítva a görög betű:D) = { x: béta}. 3p
    (ki volt osztva a feladatlap mellé 1 oldalon egy random algoritmusdefiníció másolata a könyvből a 3 közül: W, I, M)
  7. Töltse ki a lambda xy.y kifejezésre az alábbi táblázatot. 2p
    Oszlopfejlécek: kifejezés, típusa, típus-konstruktora, típuskonstruktor típusa
    Sorfejlécek: F1, Curry, F2, F3

2-3. vizsga

Minta vizsga

Az előző éves Nyelvek Típusrendszere minta vizsga.

Órai jegyzet

Alapvető fontosságú a könyvet megvenni, az órán is az van kivetítve, így részemről külön jegyzet nem készült.

Lambda kalkulus alapozó

Szerintem alapozáshoz a legjobban a magyar wikipédia leírás használható, ha egyáltalán azt sem tudod mik azok a lambda kifejezések, akkor ezt figyelmesen olvasd végig, értelmezd, ez mindennek az alapja, és nagyon jól meg lehet belőle érteni.