Zopar uzitocnych liniek:
PREDNASKY budu relativne nezavisle od cviceni, pokusim sa to neviazat na ziaden konkretny funkcionalny jazyk. Trochu by sa to malo dotknut teorie (co to je funkcionalny program, lambda kalkul). Velmi strucne prebehneme cez rozne typy funkcionalnych jazykov. Poukazeme na suvis s prislusnou teoriou. Okrem ineho sa jazyky budu lisit aj sposobom vyhodnocovania (tzv. zrave a lenive vyhodnocovanie). Dufam, ze si stihneme nieco povedat aj o implementacnych technikach.
CVICENIA sa budu zaoberat programovanim v HUGSe. Ak sa bude dat ukazat niektora crta funkcionalneho jazyka, ktora bola na prednaske, tak to vyuzijeme. Inak sa budeme snazit presvedcit HUGS aby pocital tie funkcie, ktore chceme. Ak ste doteraz programovali len v imperativnych jazykoch C, Pascal, asi budete trochu prekvapeni novymi crtami: lenive vyhodnocovanie, curryovanie (mozno poznate z prednasky Doc. Vodu) a postavenim funkcii, ktore tvoria rovnake objekty ako ostatne data.
ZAPOCET a SKUSKA Rad by som pocas semestra s vami napisal, v dopredu oznamenom termine, dve pisomky mimo cvik na papieri, za kazdu max. 25 bodov. Obsahom pisomiek budu prevazne ulohy tykajuce sa programovania v HUGSe. K pisomkam neexistuje opravny termin! Okrem toho sa pokusim vygenerovat nejake premiove ulohy, celkovo za najviac 15 bodov, ale moze byt aj menej. Na zapocet bude potrebnych 25 bodov v zapoctovom tyzdni. Menej ako 10 bodov v zapoctovom tyzdni = katastrofa, neda sa ziskat nahrady zapocet. Ti, co ziskaju od 10 bodov, vratane, do 24, vratane, absolvuju nahradnu zapoctovu pisomku za max. 15 bodov. Nahradny zapocet treba ziskat najneskor dva dni pred poslednym riadnym terminom skusky. Kto ziska nahradny zapocet pokracuje dalej z 25 bodmi. Ku skuske treba mat zapocet. 48 a viac bodov v zapoctovom tyzdni je superpremia = skuska za 1. Skuska bude dalsia pisomka za 20 bodov a prakticka cast pri pocitaci za 10 bodov. Prakticka cast trva 55 minut. Dovoluje sa jeden opravny termin. Body z neuspesneho riadneho terminu sa do celkovej sumy bodov nezapocitavaju. Na skuske je interval 36 az 49 bodov, vratane, znamka 3. Interval od 49 po 64, vratane, znamka 2. Interval od 64 po 85, vratane, znamka 1.