Standard ML A "Deklaratív programozás. Bevezetés a funkcionális programozásba" c. jegyzet következő oldalainak tanulmányozása javasolható a márc. 24-ei zéhá előtt: Bp., 2000 Bp., 2001. Nevek, egyszerű típusok, értékek, deklarációk 19-30 17-28 Ennesek, rekordok 31-35 29-33 Kifejezések, mohó kiértékelés, iteratív függvények 37-42 35-40 Lokális kifejezés, deklaráció 45-46 43-44 Listák 49-56 45-52 Polimorfizmus, polimorf függvények 67-68 53-56 Részlegesen alkalmazható függvények 75-78 61-64 Magasabb rendű függvények: map, filter 81-82 67-68 Rekurzív függvények: Fibonacci-számok 58-59 94-95 Az alaptípusok, könyvtári értékek és függvények közül a 2000. évi változatban a 139.-140., a 2001. évi változatban a 135.-136. oldalon fölsoroltak kellenek, a toString és fromString függvények, valamint alábbiak KIVÉTELÉVEL: típusok: exn, 'a option, order, word, word8 kivételek: MIND (azaz egyet sem kell tudni) belső függvények: app csak interaktív: MIND Char: contains, notContains, compare Int: precision, compare List: mapPartial, partition, exists, all, tabulate, foldr, foldl Listsort: MIND Option: MIND Real: compare, fromInt String: substring, map, translate, tokens, fields, isPrefix, compare, collate TextIO: MIND Time: MIND Timer: MIND Word: MIND Word8: MIND Az egyes könyvtári modulokról részletek a jegyzet hátralévő részeiben találhatók. Prolog ------ A zárthelyi Prolog részéhez a"Deklaratív programozás. Bevezetés a logikai programozásba" c. jegyzet 2.-3. fejezetét kell tudni. A listakezelő eljárásokat (member/2, append/3, select/3, revapp/3) érdemes külön megnézni. A beépített eljárások közül ismerni kell az = /2, is/2, \= /2, < /2, > /2, >= /2, =< /2, =:= /2, =\= /2 eljárásokat. A feladatok hasonlóak lesznek a gyakorlórendszerben szereplőkhöz, érdemes gyakorolniuk! 2003. márc. 21. Hanák Péter - Szeredi Péter