Viga pole juhus.
See on otsus.
Tööstus pärandas kvaliteedi definitsiooni ja lõpetas seda kahtluse alla seadmise. Brickter ei aktsepteeri seda. Me ei paranda standardit. Asendame selle.
Viga pole juhus.
Tarkvara ei programmeerita.
See deklareeritakse.
Deklarida on võimatu murda.
Programmeerida tähendab samme improviseerida. Deklarida tähendab kinnitada, mis peab eksisteerima. Erinevus pole tehniline: see on filosoofiline.
Kui programmeerid, kirjeldata kuidas: habrast juhiste jada, mis võib igal real ebaõnnestuda. Kui deklareerid, kirjeldata mis: täielik, suletud ja kontrollitav mudel. Deklaratsioon eemaldab ebamäärasuse; programm kogub seda. Deklaratsioon vähendab vearuumi, sest improviseeritud teed pole: ainult tõed, mida süsteem aktsepteerib või lükkab tagasi.
Brickter Compiler viib selle idee äärmuseni. Kontrollib rangelt iga deklaratsiooni, kuni mudel on täielikult mõistetav: ilma võimatute olekuteta, ilma rikutud lepinguteta, ilma vaba interpretatsioonita. See pole kompilaator, mis tõlgib koodi: see on ontoloogiline filter. Kui midagi ei sobi deklareeritud maailma, seda ei eksisteeri. Seetõttu Brickter Compileriga ei ole vigu enam valik.
Tarkvara
Maailmatasemel
Tipptasemel tarkvarainsener võimaldab lahendada keerukaimaid probleeme ja ehitada tooteid, mis muudavad terveid tööstusharusid.
Võta ühendust