A dolgozat során egy függő típuselméletre épülő funkcionális nyelv, a SmallT T típusellenörzője és értelmezője kerül megvalósításra Haskell nyelvben. A szoftver része a nyelv definíciója, egy szabványkönyvtár, egy egy ...

A funkcionális programozás és a webes platform találkozása, kialakult módszerek áttekintése.