• 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

Helyesség

Sem a Java, sem a Pizza nem kínál helyességbizonyítási eszközöket.

Powered by PHP and XML
Valid XHTML and CSS
Copgyright © 2010 - ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék