Klaida nėra atsitiktinumas.
Tai sprendimas.
Pramonė paveldėjo kokybės apibrėžimą ir nustojo jį kvestionuoti. Brickter jo nepriima. Mes nepageriname standarto. Mes jį pakeičiame.
Klaida nėra atsitiktinumas.
Programinė įranga neprogramuojama.
Ji deklaruojama.
Deklaruoti yra neįmanoma sulaužyti.
Programuoti reiškia improvizuoti žingsnius. Deklaruoti — teigti, kas turi egzistuoti. Skirtumas nėra techninis: jis filosofinis.
Kai programuojate, aprašote kaip: trapią instrukcijų seką, kuri gali žlugti bet kurioje eilutėje. Kai deklaruojate, aprašote ką: pilną, uždarą ir patikrinamą modelį. Deklaracija panaikina dviprasmybę; programa ją kaupia. Deklaravimas sumažina klaidų erdvę, nes nėra improvizuoto kelio: tik tiesos, kurias sistema priima arba atmeta.
Brickter Compiler nuneša šią idėją iki galo. Jis griežtai validuoja kiekvieną deklaraciją, kol modelis turi visišką prasmę: be neįmanomų būsenų, be sulaužytų sutarčių, be laisvos interpretacijos. Tai ne kompiliatorius, verčiantis kodą: tai ontologinis filtras. Jei kas nors netelpa į deklaruotą pasaulį, to nėra. Todėl su Brickter Compiler klaidos nustoja būti pasirinkimu.
Programinė įranga
Pasaulinė
Programinės įrangos inžinerijos meistriškumas leidžia spręsti sudėtingiausias problemas ir kurti produktus, kurie transformuoja ištisas pramonės šakas.
Susisiekti