[1] Díky za odpověď, já věřím tomu, že knihovny dokážou udělat docela paseku. Viděl jsem pravidelně segfaultovat i program v Pythonu, což by teoreticky nemělo jít, ale když jde o nějaký binding do C, není to problém. U C++ jsme na to už narazili v diskusi vzhledem k STL. Sutter a Alexandrescu například doporučují používat jednu prověřenou verzi STL, což je na jednu stranu logické, na druhou stranu mi to ale přijde dost extrémní.
Mým záměrem není z C++ udělat čistě funkcionální jazyk, ale spíš prozkoumat možnosti statické analýzy obecně a zvlášť vzhledem k C++, protože to je podle mého názoru "nejnižší" jazyk, který statickou analýzu ve větším rozsahu umožňuje a jeho flexibilita je úžasná, to napětí mezi těmi "školometskými principy" a tím, jak je C++ umožňuje porušit, je velká výzva. Začal jsem s tím, co jsem znal a měl promyšleno, ale od prvního dílu jsem nastudoval poměrně dost materiálů a dost o celé věci přemýšlel.
Rád bych vzal nějaký OSS projekt středního rozsahu a na něm ty principy vyzkoušel. Ale to bude ještě chvíli trvat.
