On Sunday, March 18, 2012 6:46:15 PM UTC, A. L. wrote:
> Zwlaszcza pisanie programow ktorych poprawnosc jest niemozliwa do
> zwryfikowania. "Templates" to skomplikowana forma makrogeneratora
> ktora przeksztalca program w 'cos" co dopiero jest kompilowane. W co -
> pzreksztalca? Nie wiadomo, i trzeba meic 100 procentowe zaufanie do
> calej maszynerii ze a) przeksztalca zgodnie z intencja programisty, b)
> przksztalca bez bledow.
>
> Dlatego tez wprowadze sie "safe subsets" dla jezykow programowania i
> scisle reguly co mozna a czego nie mozna robic i jakich konstrukcji
> nie mozna uzywac.
>
> Dla C++ jest taki standard MISRA-C++,
>
> http://www.misra-cpp.com/
>
> http://www.moasoftware.co.kr/ldrapdf/LDRA_MISRA_C++_
2008_Standard_Compliance_v2.3.pdf

... ktory nie zabrania uzywania szablonow.

RW