A bug nem baleset.
Ez egy döntés.
Az iparág örökölt egy minőségdefiníciót, és abbahagyta a megkérdőjelezését. A Brickter nem fogadja el. Nem javítjuk a szabványt. Lecseréljük.
A bug nem baleset.
A szoftvert nem programozzák.
Deklarálják.
A deklarálás lehetetlen eltörni.
Programozni annyi, mint lépéseket improvizálni. Deklarálni annyi, mint kimondani, minek kell léteznie. A különbség nem technikai: filozófiai.
Amikor programoz, a hogyan-t írja le: utasítások törékeny sorozatát, amely bármely soron elbukhat. Amikor deklarál, a mit-et írja le: teljes, zárt és ellenőrizhető modellt. A deklaráció megszünteti a kétértelműséget; a program felhalmozza. A deklarálás csökkenti a hibateret, mert nincs improvizált út: csak igazságok, amelyeket a rendszer elfogad vagy elutasít.
A Brickter Compiler ezt az ötletet a végletekig viszi. Szigorúan érvényesít minden deklarációt, amíg a modell teljes értelmet nem nyer: lehetetlen állapotok, törött szerződések és szabad értelmezés nélkül. Nem kódot fordító fordító: ontológiai szűrő. Ha valami nem illeszkedik a deklarált világba, nem létezik. Ezért a Brickter Compilerrel a hibázás megszűnik lehetőség lenni.
Szoftver
Világszínvonal
A szoftvermérnöki kiválóság lehetővé teszi a legösszetettebb problémák megoldását és olyan termékek építését, amelyek egész iparágakat alakítanak át.
Kapcsolat