3813100234

Spis treści

Przedmowa    xiii

1.    Wstęp    1

2.    Podstawy programowania    w języku Standard ML ’97    3

2.1.    Praca z kompilatorem języka    Standard ML.................. 4

2.1.1.    Uwagi dla użytkowników kompilatora SML/NJ.......... 4

2.2.    Predefiniowane typy danych......................... 5

2.2.1.    Liczby całkowite i rzeczywiste................... 5

2.2.2.    Wartości logiczne.......................... 7

2.2.3.    Krotki i rekordy........................... 7

2.2.4.    Typ unit............................... 8

2.2.5.    Listy................................. 8

2.2.6.    Dane znakowe............................ 9

2.2.7.    Łańcuchy (dane napisowe) ..................... 10

2.2.8.    Biblioteka funkcji standardowych.................. 10

2.3.    Funkcje jako wartości............................. 10

2.3.1.    Abstrakcja funkcyjna........................ 10

2.3.2.    Aplikacja funkcji do argumentu................... 11

2.4.    Nadanie nazwy................................ 12

2.5.    Deklaracje funkcji i rekursja......................... 14

2.6.    Konteksty lokalne............................... 15

2.7.    Wzorce.................................... 16

2.8.    Kilka prostych przykładów.......................... 19

2.9.    Więcej informacji o wzorcach........................ 20

2.10.    Podsumowanie................................ 23

2.11.    Zadania.................................... 23

3.    Składnia języków programowania    27

3.1.    Elementy teorii języków formalnych..................... 27

3.1.1.    Symbole, słowa i języki....................... 27

3.1.2.    Gramatyki formalne......................... 27