( TCH | 2021. 04. 17., szo – 15:17 )

de semmiképp nem okoz problémát a lefordított programban

És de: keress rá az LLVM stack probe-ingra és a stack overflow problémára.

Ez nyilván nem jó, de ezt a fordító auditálásával, tesztelésével meg lehet fogni.

Kettős mérce. A kódok auditálásával és tesztelésével a C kódok bajait is meg lehet fogni. De azt nem, mert csak.

Nyilván hibázhatnak, viszont az automatizmust is validálja maga a folyamat amit automatizál.

Perpetuum mobile á la Rust? A hibás validáló automatizmus automatikusan validálja önnönmaga működését?

Az emberekkel szemben az automatizmus nem fogja elkövetni ugyanazt a hibát, amit egyszer már javítottak.

Az a bizonyos automatizmus sem véd meg mindentől, ld. feljebb a memóriakezelési zríket.

Viszont ha ez nem cél, akkor is csak akkor hiba, ha a szélvédőt véletlenül sikerül beverni a kalapáccsal, ami a kalapács rendeltetésszerű használatával elég nehéz.

De ez nem a kalapács hibája. Ez csúsztatás.

de ez már az eszköz hibája is, mert pl. nem megfelelő a markolata vagy nem rögzíti a fejet rendesen.

Elég szomorú, ha egy tárgyat hibáztatunk azért, mert a markolata nem passzol a felhasználó kezébe, vagy mert a felhasználó nem rögzítette a fejet.

Ha összehasonlítod a mai repülőket a fél évszázaddal ezelőtti repülőivel, akkor ezzel nem is lőttél nagyon mellé.

Asszem nem ment át, amit mondtam.

Vagyis összességében az automatizmus biztonságosabbá teszi a repülést, és ez a statisztikákból is látszik.

Egyfelől nem csak utasszállító repülőgépek vannak. Ha már mindenáron erőltetjük a repülős analógiát, akkor ez kb. az lenne, hogy tiltsuk be a sárkányrepülőket és a légcsavarosakat, csak az utasszállítók repülhessenek, mert abban van a pilótákat felülbíráló automatika. Legyen csak a nagy cégeké az ég. Tekintve, hogy ha belegondolok, hogy kik állnak a Rust vagy épp a Java, meg a C# mögött, meg a C állandó kiirtási kísérletei mögött, ez az analógia még stimmel is...
Másfelől meg nagyon nem mindegy, hogy az automatika megkönnyíti az ember dolgát azzal, hogy helyette végez el dolgokat, vagy épp megnehezíti azzal, hogy helyette dönt el dolgokat és megtiltja, hogy az ember másképp dönthessen.