En bug er ikke et uheld.
Det er en beslutning.
Branchen arvede en definition af kvalitet og holdt op med at stille spørgsmål. Brickter accepterer den ikke. Vi forbedrer ikke standarden. Vi erstatter den.
Branchen arvede en definition af kvalitet og holdt op med at stille spørgsmål. Brickter accepterer den ikke. Vi forbedrer ikke standarden. Vi erstatter den.

At programmere er at improvisere trin. At erklære er at hævde, hvad der skal eksistere. Forskellen er ikke teknisk: den er filosofisk.
Når du programmerer, beskriver du hvordan: en skrøbelig sekvens af instruktioner, der kan fejle på en hvilken som helst linje. Når du erklærer, beskriver du hvad: en komplet, lukket og verificerbar model. Erklæringen fjerner tvetydigheden; programmet ophober den. At erklære reducerer fejlrummet, fordi der ikke er nogen improviserede stier: kun sandheder, systemet accepterer eller afviser.
Brickter Compiler tager den idé til yderligheder. Det validerer hver erklæring strengt, indtil modellen giver fuld mening: uden umulige tilstande, uden brudte kontrakter, uden fri fortolkning. Det er ikke en compiler, der oversætter kode: det er et ontologisk filter. Hvis noget ikke passer ind i den erklærede verden, eksisterer det ikke. Derfor er fejl med Brickter Compiler ikke længere en mulighed.
Software
Verdensklasse
Excellence inden for software engineering gør os i stand til at løse de mest komplekse problemer og bygge produkter, der forvandler hele industrier.
Kontakt