Myslim, ze ako idealna ilustracia sa da pouzit diskusia nad mr.grammovym prispevkom, na ktory linkujes.

Mirex (praktik) hlada sposob, ako nieco spravit a pravdepodobne na to pouzije interpret nejakeho turing-uplneho embedovaneho jazyka. Je to nepochybne sposob, ktory nejako bude fungovat.

Neuvedomuje si vsak, ze suborovy format (hoci aj binarny) je formalny jazyk -- a da sa nan aplikovat rovnaky formalizmus a rovnake postupy ako na ine jazyky, tj. napriklad EBNF specka binarneho formatu. Preco nie. A aby si ma neobvinil, ze som prasivy teoretik, ktoreho halucinacie nie su v praxi implementova(tel)ne, tak bud

1) kusok kodu, ktory som napisal v tom prispevku -- ta symbolicka gramatika -- je spustitelny kod v Haskelli ;)

2) ak chces byt konzervativny, pouzijes mieto Haskellu flex+bison+tcc (tcc vie interpretovat C generovane predchadzajucimi dvoma)

Vo vysledku tento druhy ("akademicky") pristup vedie k _podstatne_ krajsiemu zapisu suborovych formatov, kde je tazke vyrobit bugy a uplne nemozne vyrobit niektore z nich, napriklad zacyklenie parsera. Dosledkom je bezbugovejsi, estetickejsi, kratsi, pochopitelnejsi a lepsie udrziavatelny kod. A to len preto, ze si pouzil na spravny klinec spravne kladivo.

Vyzadovalo to nejaky nadhlad, uplne zmenit sposob premyslania nad problemom, vymanit sa z klietky "programovania", zamysliet sa a uvedomit si, ze niektore problemy maju optimalnejsie riesenie nez programovanie.

A teraz si dovolim vratit inzult -- praktik bez vzdelania takyto nadhlad proste nema.

---
Nepis mi pls do posty, budem ju ignorovat, diskutuj pod prispevkami, ako sa na diskusnom serveri slusi.