버그는 사고가 아니다.
결정이다.

프로그래밍할 때 당신은 '어떻게'를 기술한다. 어느 줄에서든 실패할 수 있는 취약한 명령의 연속. 선언할 때 당신은 '무엇'을 기술한다. 완전하고 닫혀 있으며 검증 가능한 모델. 선언은 모호함을 제거하고, 프로그램은 그것을 쌓는다. 선언은 즉흥의 길이 없기에 오류 공간을 줄인다. 시스템이 받아들이거나 거부하는 진실만 있다.

Brickter Compiler는 그 생각을 극한까지 밀어붙인다. 모델이 완전한 의미를 가질 때까지 각 선언을 엄격히 검증한다. 불가능한 상태도, 깨진 계약도, 자유로운 해석도 없다. 코드를 번역하는 컴파일러가 아니다. 존재론적 필터다. 선언된 세계에 맞지 않는 것은 존재하지 않는다. 그래서 Brickter Compiler에서는 실패가 선택지가 되지 않는다.