Hrošč ni nesreča.
Je odločitev.
Industrija je podedovala definicijo kakovosti in jo nehala postavljati pod vprašaj. Brickter je ne sprejme. Ne izboljšujemo standarda. Zamenjamo ga.
Hrošč ni nesreča.
Programska oprema se ne programira.
Deklarira se.
Deklarirati je nemogoče zlomiti.
Programirati pomeni improvizirati korake. Deklarirati pomeni trditi, kaj mora obstajati. Razlika ni tehnična: je filozofska.
Ko programirate, opisujete kako: krhko zaporedje navodil, ki lahko odpove na kateri koli vrstici. Ko deklarirate, opisujete kaj: popoln, zaprt in preverljiv model. Deklaracija odstrani dvoumnost; program jo kopiči. Deklariranje zmanjša prostor napake, ker ni improvizirane poti: le resnice, ki jih sistem sprejme ali zavrne.
Brickter Compiler to idejo pelje do skrajnosti. Strogo preveri vsako deklaracijo, dokler model nima popolnega smisla: brez nemogočih stanj, brez prelomljenih pogodb, brez proste interpretacije. Ni prevajalnik, ki prevede kodo: je ontološki filter. Če nekaj ne ustreza deklariranemu svetu, ne obstaja. Zato z Brickter Compiler napake niso več možnost.
Programska oprema
Svetovna
Odličnost v inženirstvu programske opreme nam omogoča reševati najbolj zapletene probleme in graditi produkte, ki spreminjajo cele industrije.
Kontakt