Példaprogramok
Mátrix
Ebben a programban egy mátrix adatszerkezetet valósítunk meg. Az adatszerkezet típusa tartalmazza a méretet.
Sor
Ez a példaprogram egy sort valósít meg. A sor típusában benne van a mérete, amely csökken, vagy éppen nő az egyes műveletek hatására, azaz a típus is megváltozik.
Verem
Ez a példaprogram egy vermet tartalmaz, melynek méretét a típusa is tartalmazza. Ez hasznos, mivel így a típusban rögzíthető például, hogy üres veremből nem tudunk elemet kivenni.
Topologikus rendező
Ez a program bekér egy fájlnevet, és beolvassa a megfelelő fájlt, amely különböző események, lépések közötti függőségeket ír le. Ezután a program megmutatja, mi lenne az ajánlott sorrendje a lépéseknek (azaz topologikus rendezést hajt végre).