“Это на самом деле единственное условие, которому должны удовлетворять make-rat, numer и denom, чтобы служить основой для представления рациональных чисел. В общем случае можно считать, что данные — это то, что определяется некоторым набором селекторов и конструкторов, а также некоторыми условиями, которым эти процедуры должны удовлетворять, чтобы быть правильным представлением 5 . Эта точка зрения может послужить для определения не только”