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
Nyelvi elemek
Változások a Java-hoz képest:
A continue kulcsszó használható függvény definícióban (lásd:
Tail call recursion (continue, goto)
)
goto kulcsszó (lásd:
Tail call recursion (continue, goto)
)
Szintaktika a függvény típusú változók definiálásához (lásd:
Függvény típusú változó
)
Szintaktika a névtelen függvény deklarációjához (lásd:
Névtelen függvények
)
case kulcsszó algebrai típusok esetén (lásd:
Algebrai adattípus (algebraic datatype)
)