En bug er ikke et uhell.
Det er en beslutning.
Bransjen arvet en definisjon av kvalitet og sluttet å stille spørsmål. Brickter aksepterer den ikke. Vi forbedrer ikke standarden. Vi erstatter den.
Bransjen arvet en definisjon av kvalitet og sluttet å stille spørsmål. Brickter aksepterer den ikke. Vi forbedrer ikke standarden. Vi erstatter den.

Å programmere er å improvisere steg. Å erklære er å hevde hva som skal eksistere. Forskjellen er ikke teknisk: den er filosofisk.
Når du programmerer, beskriver du hvordan: en skjør sekvens av instruksjoner som kan feile på hvilken som helst linje. Når du erklærer, beskriver du hva: en komplett, lukket og verifiserbar modell. Erklæringen fjerner tvetydigheten; programmet opphoper den. Å erklære reduserer feilrommet fordi det ikke finnes noen improviserte stier: bare sannheter systemet aksepterer eller avviser.
Brickter Compiler tar den idéen til ytterligheter. Den validerer hver erklæring strengt til modellen gir full mening: uten umulige tilstander, uten brutte kontrakter, uten fri fortolkning. Det er ikke en kompilator som oversetter kode: det er et ontologisk filter. Hvis noe ikke passer inn i den erklærte verden, eksisterer det ikke. Derfor er feil med Brickter Compiler ikke lenger et alternativ.
Software
Verdensklasse
Excellence innen software engineering gjør oss i stand til å løse de mest komplekse problemene og bygge produkter som forvandler hele industrier.
Kontakt