On 15/01/2014 15:24, A.L. wrote:
> On Wed, 15 Jan 2014 08:03:30 +0100, Paweł Kierski <n...@p...net>
> wrote:
>>
>> Statyczna kontrola typów daje duże pole do popisu dla optymalizacji
>> przez kompilator. Vide - rozwijanie szablonów w C++.
>
> Szablony w C++ to zwykla makro. Mic nei ma wspolnego z systemem typow

No jednak ma o tyle, że generuje statyczne typy i funkcje korzystające z
nich. Tak wygenerowany wektor intów czy sortowanie intów kompilator może
lepiej zoptymalizować niż "wektor czegokolwiek" czy "sortowanie
czegokolwiek".