Kolik jich třeba ví, co to je katamorfismus, nemluvě o to, aby věděli, jak jim může pomoci zkrátit kód a překladači pomoci s optimalizací odstraněním rekurze?
Znalost teorie kategorii je pro funkcionalni programovani zhruba stejne dulezita, jako je dulezita znalost teorie grup pro vypocet ucetni uzaverky.
Problém je občas v tom, že překladači se musí holt trochu pomoci, čili vývojář musí vědět jak
V davnych casech, rikejme jim treba osmdesata nebo devadesata leta, byla spousta frajeru, kteri machrovali s tim, jak se co ma psat, aby prekladac vygeneroval nejrychlejsi kod. Pokud nekdo do programu napsal i++, hned byl tercem jejich posmechu, protoze kazdy vi, ze ++i je rychlejsi. Kdo pouzil nasobeni dvema byl za blbce, protoze prece bitovy posun je rychlejsi. Tohle byl hrozny mor, protoze misto toho, aby programator psal, CO se ma udelat, tak musi resit JAK se to ma udelat a kod byl neskutecna prasarna. Myslel jsem, ze tento druh odborniku uz davno vymrel, ale asi jich par jeste nekde preziva.