Ένα σφάλμα δεν είναι ατύχημα.
Είναι μια απόφαση.
Η βιομηχανία κληρονόμησε έναν ορισμό ποιότητας και σταμάτησε να τον αμφισβητεί. Το Brickter δεν τον αποδέχεται. Δεν βελτιώνουμε το πρότυπο. Το αντικαθιστούμε.
Ένα σφάλμα δεν είναι ατύχημα.
Το λογισμικό δεν προγραμματίζεται.
Δηλώνεται.
Η δήλωση είναι αδύνατο να σπάσει.
Ο προγραμματισμός είναι αυτοσχεδιασμός βημάτων. Η δήλωση είναι επιβεβαίωση του τι πρέπει να υπάρχει. Η διαφορά δεν είναι τεχνική: είναι φιλοσοφική.
Όταν προγραμματίζετε, περιγράφετε το πώς: μια εύθραυστη ακολουθία οδηγιών που μπορεί να αποτύχει σε οποιαδήποτε γραμμή. Όταν δηλώνετε, περιγράφετε το τι: ένα πλήρες, κλειστό και επαληθεύσιμο μοντέλο. Η δήλωση εξαλείφει την ασάφεια· το πρόγραμμα την συσσωρεύει. Η δήλωση μειώνει τον χώρο σφάλματος επειδή δεν υπάρχει αυτοσχεδιασμένος δρόμος: μόνο αλήθειες που το σύστημα αποδέχεται ή απορρίπτει.
Ο Brickter Compiler οδηγεί αυτή την ιδέα στα άκρα. Επικυρώνει αυστηρά κάθε δήλωση μέχρι το μοντέλο να έχει πλήρες νόημα: χωρίς αδύνατες καταστάσεις, χωρίς σπασμένες συμβάσεις, χωρίς ελεύθερη ερμηνεία. Δεν είναι μεταγλωττιστής που μεταφράζει κώδικα: είναι οντολογικό φίλτρο. Αν κάτι δεν ταιριάζει στον δηλωμένο κόσμο, δεν υπάρχει. Γι' αυτό, με τον Brickter Compiler, τα σφάλματα παύουν να είναι επιλογή.
Λογισμικό
Παγκόσμιο
Η αριστεία στη μηχανική λογισμικού μας επιτρέπει να λύνουμε τα πιο σύνθετα προβλήματα και να χτίζουμε προϊόντα που μεταμορφώνουν ολόκληρους κλάδους.
Επικοινωνία