A zárthelyi anyaga
    (Deklaratív programozás, SML-anyagrész, 2002. őszi félév)


1. A "Deklaratív programozás. Bevezetés a funkcionális programozásba.
   Budapest, 2001" c. oktatási segédletből a következő részek:

Nevek, egyszerű típusok, értékek, deklarációk               17- 28
Ennesek, rekordok                                           29- 33
Kifejezések, mohó kiértékelés, iteratív függvények          35- 40
Lokális kifejezés, deklaráció                               43- 44
Listák (a 6.5. szakasz végéig)                              45- 50
Polimorfizmus, polimorf függvények (a 7.2. szakasz végéig)  53- 54
Adattípusok                                                 57- 60
Részlegesen alkalmazható függvények                         61- 64
Magasabb rendű függvények (map, filter)                     67- 68
SML-szintaxis (olvasmány)                                  111-116

Az alaptípusok, könyvtári értékek és függvények közül a
135.-136. oldalon fölsoroltak kellenek, KIVÉVE a toString és
fromString függvényeket, valamint alábbiakat:
                                                    
típusok:          exn, 'a option, order, word, word8
kivételek:        MIND (azaz egyet sem kell tudni)
belső függvények: app, print
csak interaktív:  MIND (azaz egyet sem kell tudni)
Char:             contains, notContains, compare
Int:              precision, compare
List:             rev, @, concat, revAppend, app, mapPartial,
                  partition, foldr, foldl, exists, all, tabulate
Listsort:         MIND (azaz egyet sem kell tudni)
Option:           MIND (azaz egyet sem kell tudni)
Real:             compare, fromInt
String:           substring, extract, map, translate, tokens, fields,
		  isPrefix, compare, collate
TextIO:           MIND (azaz egyet sem kell tudni)
Time:             MIND (azaz egyet sem kell tudni)
Timer:            MIND (azaz egyet sem kell tudni)
Word:             MIND (azaz egyet sem kell tudni)
Word8:            MIND (azaz egyet sem kell tudni)

Az egyes könyvtári modulokról a részletek a 137.-163. oldalakon
találhatók.

2. A funkcionális programozásról szóló első négy előadás fóliái a
   honlapról (dp02a-fp1-4-p2.pdf vagy dp02a-fp1-4.ps vagy
   dp02a-fp1-4.dvi).

3. A fóliákon szereplő SML-példák (dp02a-fp1-4.sml)

4. A "Típuslevezetés -- példák" c. kétoldalas segédlet
   (tipuslevezetes.pdf vagy tipuslevezetes.ps, tipuslevezetes.dvi)

2002. okt. 30.

Hanák Péter