Nyelvek listája
Kezdő oldal
Bevezetés
Nyelvi elemek
Típusok, típuskonstrukciók
Konverzió primitív típus és dobozoló osztálya között
Algebrai adattípus (algebraic datatype)
Függvény típusú változó
Utasítások, vezérlési szerkezetek
Tail call recursion (continue, goto)
Mintaillesztés (switch)
Alprogramok, modulok
Névtelen függvények
Absztrakt adattípusok
Sablonok
Paraméterezett osztályok
Paraméteres polimorfizmus (parametric polymorphism)
Megszorított polimorfizmus (bounded polymorphism)
F-megszorított polimorfizmus (F-bounded polymorphism)
Polimorf függvények
Megkötések a paraméteres típusokra
Generic átfordítása
Parametrikus polimorfizmus átfordítása
Megszorított parametrikus polimorfizmus átfordítása
Kivételkezelés
Objektum-orientált programozás
Helyesség
Párhuzamosság
Szabványos könyvtárak
Fordítók
További információk
Példaprogramok
Készítők
A Pizza nyelv
Absztrakt adattípusok
Szinte ugyanaz, mint Java-ban. A névtelen függvényeknél érdekes a láthatóság, lásd ott.