Język C uważany jest za niskopoziomowy i „bliski sprzętowi”. Tymczasem model języka C opiera się na abstrakcyjnej maszynie, która z dużą swobodą realizuje program, często działając wbrew potocznym intuicjom na temat kodu. Abstrakcyjna maszyna C „materializuje się” w postaci efektów ubocznych programu, przypominając tym samym słynny paradoks kota Schrödingera, który tym bardziej jest w pudełku, im bardziej tam zaglądamy...

Niektóre zagadnienia poruszane w tym artykule:

• ZASADA NIEOZNACZONOŚCI PROGRAMÓW;
• POLOWANIE NA EFEKTY UBOCZNE;
• EFEKTY UBOCZNE ZAPĘTLONE;
• ALIASING, CZYLI ZGADNIJ, CO TO;
• POKOCHAJ SWÓJ KOMPILATOR;
• ROZWIJANIE FUNKCJI – KOD, KTÓRY ZNIKA.

Artykuł pochodzi z miesięcznika "Programista" nr 08/2015 (39). Spis treści całego wydania: http://programistamag.pl/programista-8-2015-39/

Autorem artykułu jest Maciej Czekaj, Programista systemów wbudowanych w krakowskiej firmie Semihalf, poprzednio w Motoroli. Zajmuje się w systemami wbudowanymi Linux/ARM, stosami sieciowymi i wirtualizacją. Współtworzył m.in. aplikację do zarządzania siecią SDN na bazie DPDK: Contrail Virtual Router.

>>FRAGMENT TEGO ARTYKUŁU DO POBRANIA<<