バグは事故ではない。
決定だ。

プログラムするとき、あなたは「どのように」を記述する。どの行でも失敗しうる脆い命令の列。宣言するとき、あなたは「何を」を記述する。完全で閉じ、検証可能なモデル。宣言は曖昧さを消し、プログラムはそれを積み上げる。宣言は即興の道がないため誤り空間を縮める。システムが受け入れるか拒否する真実だけがある。

Brickter Compilerはその考えを極限まで押し進める。モデルが完全に意味をなすまで、各宣言を厳格に検証する。不可能な状態も、壊れた契約も、自由な解釈もない。コードを翻訳するコンパイラではない。存在論的フィルターだ。宣言された世界に収まらないものは存在しない。だからBrickter Compilerでは、失敗することが選択肢ではなくなる。