Bevezetés a funkcionális programozásba SML nyelven

Tartalom

1. A programozási paradigmákról 3
1.1. Az imperatív programozási paradigma 4
1.2. A deklaratív programozási paradigma 4
1.2.1. A logikai programozási paradigma 5
1.2.2. A funkcionális programozási paradigma 5
1.3. SML-értelmezők és fordítók 6
2. Bevezetés a funkcionális programozásba SML-lel 7
2.1. Egyszerű SML-példák 7
2.1.1. Négyzetre emelés 7
2.1.2. Pénzváltás 7
2.2. Az SML fontosabb jellemzői 8
2.2.1. Hivatkozási átlátszóság 9
2.2.2. A függvényekről 10
2.2.3. Funkcionális nyelvek jellemzői 10
3. Nevek, függvények, egyszerű típusok 13
3.1. Értékdeklaráció 13
3.1.1. Névadás állandónak 13
3.1.2. Névadás függvénynek 14
3.1.3. Nevek újradefiniálása 15
3.1.3.1. Nevek képzése 15
3.2. Egész, valós, füzér, karakter és más egyszerű típusok 16
3.2.1. Egészek és valósak 16
3.2.1.1. A real, floor, ceil, abs, round és trunc függvény 16
3.2.1.2. Alapműveletek előjeles egész számokkal 17
3.2.1.3. Alapműveletek valós számokkal 18
3.2.1.4. Precedencia 19
3.2.1.5. Alapműveletek előjel nélküli egészekkel 20
3.2.1.6. Típusmegkötés 20
3.2.2. Füzérek 21
3.2.2.1. Escape-szekvenciák 21
3.2.2.2. Gyakori műveletek füzérekkel 22
3.2.3. Karakterek 22
3.2.3.1. Gyakori műveletek karakterekkel 22
3.2.4. Igazságértékek, logikai kifejezések, feltételes kifejezések 23
3.2.4.1. Feltételes operátor 23
3.2.4.2. Logikai operátorok 23
3.2.4.3. Tesztelő függvények 24
4. Párok, ennesek, rekordok 27
4.1. Pár, ennes 27
Típuskifejezés 27
4.1.1. Példa: vektorok 27
4.1.2. Függvény több argumentummal és eredménnyel 28
4.1.2.1. Gyakorló feladatok 29
4.1.3. Ennes elemeinek kiválasztása mintaillesztéssel 29
4.1.4. A nullás 29
4.1.4.1. A print, a us© és a load üggvény 29
4.1.4.2. Mi a különbség? 30
4.2. Rekord 30
04. Rekordminta 31
5. Kifejezések 33
5.1. Újra az infix operátorról 33
5.1.1. Infix operátor kötése 34
5.2. Kifejezések kiértékelése az SML-ben 35
5.2.1. Mohó kiértékelés 36
5.2.1.1. Mohó kiértékelés rekurzív függvények esetén 36
5.2.1.2. Iteratív függvények 37
5.2.1.3. Feltételes kifejezések speciális kiértékelése 37
5.2.2. Lusta kiértékelés 38
5.2.3. A mohó és a lusta kiértékelés összevetése 39
6. Rekurzív függvények 41
Egész kitevőjű hatványozás 41
6.2. Fibonacci-számok 42
Egész négyzetgyök közelítéssel 43
6.4. Lokális kifejezés 44
Valós szám négyzetgyöke Newton-Raphson módszerrel 44
6.6. Lokális deklaráció 46
6.7. Egyidejű deklaráció 46
6.8. Polimorf típusellenőrzés 48
7. Listák 49
7.1. Típuskifejezések és típusoperátorok 49
7.2. Lista létrehozása 50
7.3. Egyszerű műveletek listákkal 50
7.3.1. Lista elemeinek szorzata 50
7.3.2. Lista legnagyobb eleme 51
7.3.3. Karakter, füzér és lista 51
7.4. Listák vizsgálata és darabokra szedése 51
7.5. Listák és egész számok 52
7.6. Listák összefűzése és megfordítása 52
7.7. Listákból álló lista, párokból álló lista 54
8. Listák alkalmazása 57
A következő permutált 57
8.1.1. Egyenlőségvizsgálat polimorf függvényekben 60
8.2. Polimorf halmazműveletek 61
9. Rendezés 63
Beszúró rendezés 63
v 9.2. Gyorsrendezés 63
Összefésülő rendezés 64
9.3.1. Fölülről lefelé haladó összefésülő rendezés 64
9.3.2. Alulról fölfelé haladó összefésülő rendezés 65
Simarendezés 66
10. Adattípusok 67
10.1. A datatype deklaráció 67
10.2. A felsorolásos típus 68
10.3. Polimorf adattípusok ' 69
10.4. A case-kifejezés 70
11.Kivételkezelés 73
11.1. Kivétel deklarálása az exception kulcsszóval 73
11.2. Kivétel jelzése a raise kulcsszóval 73
11.2.1 Belső kivételek 74
11.3. Kivétel feldolgozása a handlé kulcsszóval 74
11.4. Néhány példa a kivételkezelésre 75
12. Bináris fák 77
12.1. A bináris fa mint adattípus
12.2. Egyszerű műveletek bináris fákon 78
12.3. Lista előállítása bináris fa elemeiből 79
12.4. Bináris fa előállítása lista elemeiből 80
12.5. Elem törlése bináris fából 81
12.6. Bináris keresőfák 82
13. Részlegesen alkalmazható függvények 83
13.1. Az fn jelölés 83
13.1.1. Függvény definiálása fun, val és val rec kulcsszóval 84
13.2. Részlegesen alkalmazható függvények 84
13.3. Függvény mint argumentum és mint eredmény 85
14. Magasabb rendű függvények 87
14.1. Magasabb rendű függvények 87
14.1.1. secl és secr 87
14.1.2. Kombinátorok 88
14.1.2.1. Két függvény kompozíciója 88
14.1.2.2. Az S, a K és az I kombinátor 89
14.1.3. map és filter 89
14.1.4. takewhile és dropwhile 90
14.1.5. exists és forall 90
14.1.6. foldl és foldr 91
14.1.7. További rekurzív függvények 93
14.1.8. curry és uncurry 93
14.1.9. map újradefiniálása íoldr-rel 94
Lusta lista 95
15.1. Elemi feldolgozási műveletek sorozatokkal 96
15.2. Magasabb rendű függvények sorozatokra 97
15.3. Néhány összetett példa 98
15.3.1. Álvéletlen-számok 98
15.3.2. Prímszámok 99
15.3.3. Numerikus számítások 99
15.4. Sorozatok sorozata és egymásba ékelése 100
15.4.1. Keresztszorzatokból álló lista 100
15.4.2. Keresztszorzatokból álló sorozat 101
C. Válogatás az SML'97 könyvtáraiból
Belső típusok
Belső kivételek
Belső függvények és operátorok a kezdeti környezetben
Csak interaktív módban használható belső függvények és operátorok
Értékek, függvények és operátorok a Char könyvtárból
Függvények a CommandLine könyvtárból
Értékek, függvények és operátorok az Int könyvtárból
Típus és függvények az Intset könyvtárból
Függvények és operátor a List könyvtárból
Függvények a Listsort könyvtárból
Értékek és függvények a Math könyvtárból
Függvények az Option könyvtárból
Típus és függvények a Process könyvtárból
Típus és függvények a Random könyvtárból
Függvények és operátorok a Real könyvtárból
Érték, függvények és operátorok a String könyvtárból
Típusok, értékek és függvények a TextIO könyvtárból
Típus, érték, függvények és operátorok a Time könyvtárból
Típusok és függvények a Timer könyvtárból
Érték és függvények a Vector könyvtárból
Érték és függvények a Word könyvtárból
Függvények a Word8 könyvtárból

Témakörök