On 04/10/2019 07:51, Maciej Sobczak wrote:
> Nadal nie rozwiązałeś tego problemu.

Ten problem (czyli pomyłka mnożenia z dodawaniem) rozwiazuje każda
kolejna warstwa inżynierii programowania od co najmniej 50 lat. Od unit
testów, przez code review po testy integracyjne, wszędzie zostanie
wyłapana z dokładnością do asymptoty. Na 99% bug taki zostanie wyłapany
już w unit testach, przynajmniej u mnie i zaryzykuje że w każdym
poważniejszym programowaniu. Jeśli Ci się wydaje że o takie błedy chodzi
wybierając kilka kompilatorów to naprawdę postaraj się zakładać że
rozmówcy nie są idiotami i od razu będzie lepiej.

Kiedy już te i masę innych etapów weryfikacji przejdziezsz po drodze
ktos zapyta czy dajesz wiarę w kompilator. Prawdłowa odpowiedź brzmi:
zalezy od ryzyka. Istnieją ryzyka gdzie nie można zaufa kompilatorowi.
Nie da się też go zweryfikować formalnie. Choć można mocno wierzyć, ale
to raczej nie przejdzie podczas certyfikacji.