الخطأ ليس حادثًا.
إنه قرار.

عندما تبرمج، تصف الكيفية: تسلسل هش من التعليمات يمكن أن يفشل في أي سطر. عندما تصرّح، تصف الماهية: نموذج كامل ومغلق وقابل للتحقق. التصريح يزيل الغموض؛ البرنامج يراكمه. التصريح يقلّص مساحة الخطأ لأنه لا يوجد مسار مرتجل: فقط حقائق يقبلها النظام أو يرفضها.

يأخذ Brickter Compiler هذه الفكرة إلى أقصى حد. يتحقق بصرامة من كل تصريح حتى يصبح للنموذج معنى كامل: بلا حالات مستحيلة، بلا عقود مكسورة، بلا تفسير حر. إنه ليس مُجمِّعًا يترجم الكود: إنه مرشح أنطولوجي. إذا لم ينسجم شيء مع العالم المصرَّح به، فهو غير موجود. لذلك مع Brickter Compiler، لم يعد ارتكاب الأخطاء خيارًا.