On Thursday, April 25, 2013 7:19:00 PM UTC+2, A. L. wrote:
> Jeszcze ktos mnie musi pzrekonacze to jest "SILNY" system typow

M.in. bez konwersji domyślnych, jak w Adzie. W Go zresztą typy
są identyfikowane przez nazwę, jak w Adzie, czy SML-u. W przeciwieństwie
do C/C++ gdzie brana jest pod uwagę struktura.

> Optymalizacja robiona pzrez uzytkownika maniespecjalnie wiele
> wspolnego z optymalizacja robiona pzrez kompilator.

Pardąsik, niejasno się wyraziłem. Miałem na myśli to, że kompilacja
jest robiona raz, u producenta. JIT obciąża końcowego użytkownik,
przysłowiowego Kowalskiego.

> Co wiecej, optymalziacja "po wierzchu" mzoe spowodowac bledy, na
> przykald zmienic pozadany sposob obliczania wyrazen arytmetycznych
> (rozstawienie nawiasow itede).

Widziałeś http://compcert.inria.fr/? Kompilator (podzbioru) C, który
formalnie dowodzi, że po swoich optymalizacjach nie zmienił semantyki.

w.