ja viem, taky strucny tutorial moze byt tento:
1. upravis lexikalnu gramatiku aby boli podporovane nove vstupne typy ktore mas podporovat;
2. v syntaktickej analyze generujes syntatkticky strom s polymorfnymi operatormi podobne ako pri interpretacii (vychadzat mozete z PolyCalc.cpp, predpokladam ze kazdy cviciaci to niekde vylepil);
3. nasledne napises rekurzivnu funkciu pre typovu kontrolu, ta na kazdom uzle overi typ parametrov (ak ide o operaciu) a zmeni polymorfne znacky uzlov na monomorfne (podla typov argumentov operacii), ak maju operandy (argumenty) typy ktore nie su podporovane, tak sa vrati AnyType ako priznak chyby v typoch;
4. a nakoniec podobna funkcia pre vyhodnotenie, strom uz ma monomorfne operacie a vdaka tomu vies rovno vyhodnocovat kazdy uzol (rekurzivne sa vyhodnocuju jeho dpostromy, ak nejake ma).