То, что проверяет и определяет смысл выражений в языке программирования, является в свою очередь просто программой.

Когда ученик спросил учителя о природе цикла Данных и Контроля, Юань-Ма ответил: «Подумай о компиляторе, компилирующем самого себя».