Bug nie je nehoda.
Je to rozhodnutie.
Odvetvie zdedilo definíciu kvality a prestalo ju spochybňovať. Brickter ju neprijíma. Nezlepšujeme štandard. Nahrádzame ho.
Bug nie je nehoda.
Softvér sa neprogramuje.
Deklaruje sa.
Deklarovať je nemožné zlomiť.
Programovať znamená improvizovať kroky. Deklarovať znamená potvrdiť, čo má existovať. Rozdiel nie je technický: je filozofický.
Keď programujete, opisujete ako: krehkú sekvenciu inštrukcií, ktorá môže zlyhať na akomkoľvek riadku. Keď deklarujete, opisujete čo: úplný, uzavretý a overiteľný model. Deklarácia odstraňuje nejednoznačnosť; program ju hromadí. Deklarovanie zmenšuje priestor chyby, pretože neexistuje improvizovaná cesta: len pravdy, ktoré systém prijme alebo odmietne.
Brickter Compiler ide s touto myšlienkou do extrému. Prísne overuje každú deklaráciu, kým model nedáva plný zmysel: bez nemožných stavov, bez zlomených kontraktov, bez voľnej interpretácie. Nie je to kompilátor, ktorý prekladá kód: je to ontologický filter. Ak niečo nezapadá do deklarovaného sveta, neexistuje. Preto s Brickter Compiler už nie je chyba možnosťou.
Softvér
Svetový
Excelentnosť v softvérovom inžinierstve nám umožňuje riešiť najzložitejšie problémy a stavať produkty, ktoré menia celé odvetvia.
Kontaktovať