a) k cemu to je: vzhledem k tomu, ze kazdy program v ciste funcionalnim jazyce (pozn.: LISP neni ciste funckcionalni ale
kombinace imperativniho a funkcionalniho) je vyraz, MUZEME PROGRAM
SNADNO VERIFIKOVAT, tedy dokazat jeho spravnost
b)Gofer: mam za to, ze jde o interpret jiste formy Haskellu
c)pouziti: ano, pouziva se na makra, nemusi mit nizsi naroky za behu, ovsem interpret funckionalniho jazyka byva pomerne maly,
tedy je snadne ho nekam zabudovat
ja sa tu nejdem hadam k comu to je, svoj zmysel to ma a LISP a jeho dialekty (scheme a podobne) su silne vyuzivane aj v komercnej sfere, ale samozrejeme hlavne na akademickej pode a myslim, ze nikomu nazaskodi nejaky ten funkcionalny jazyk ovladat a vediet o com to je. V kazdom pripade musim povedat, ze velmi rad programujem v takychto jazykoch je to celkom zabavne ak vas uz cecko a podobne omrzelo. Osobne odporucam Scheme ;-).
