Kļūda nav nejaušība.
Tā ir lēmums.
Nozare mantoja kvalitātes definīciju un pārstāja to apšaubīt. Brickter to nepieņem. Mēs neuzlabojam standartu. Mēs to aizstājam.
Kļūda nav nejaušība.
Programmatūru neprogrammē.
To deklarē.
Deklarēt ir neiespējami salauzt.
Programmēt nozīmē improvizēt soļus. Deklarēt nozīmē apgalvot, kam jāpastāv. Atšķirība nav tehniska: tā ir filozofiska.
Kad programmējat, aprakstāt kā: trauslu instrukciju secību, kas var izgāzties jebkurā rindā. Kad deklarējat, aprakstāt ko: pilnīgu, slēgtu un verificējamu modeli. Deklarācija likvidē neskaidrību; programma to uzkrāj. Deklarēšana samazina kļūdu telpu, jo nav improvizēta ceļa: tikai patiesības, ko sistēma pieņem vai noraida.
Brickter Compiler aizved šo ideju līdz galam. Tas stingri validē katru deklarāciju, līdz modelim ir pilnīga jēga: bez neiespējamiem stāvokļiem, bez salauztiem līgumiem, bez brīvas interpretācijas. Tas nav kompilators, kas tulko kodu: tas ir ontoloģisks filtrs. Ja kaut kas neiederas deklarētajā pasaulē, tas nepastāv. Tāpēc ar Brickter Compiler kļūdas vairs nav opcija.
Programmatūra
Pasaules līmeņa
Izcilība programmatūras inženierijā ļauj risināt vissarežģītākos problēmas un būvēt produktus, kas pārveido veselas nozares.
Sazināties