Замечание по поводу синтаксиса
Последнее замечание: Простой способ поддержки нашего требования наличия THE_операций мог бы основываться на использовании некоторого рода точечного синтаксиса уточнений. Вот несколько примеров (пересмотренные варианты ранее приведенных примеров):
Z : = LS.BEGIN.X ;
LS.BEGIN.X : = Z ;
LS : = LINESEG ( POINT ( Z, LS.BEGIN.Y ), LS.END ) ;
LS.BEGIN : = P ; LS.END : = Q ;
Однако в этой серии я буду использовать THE_нотацию. (Одна из причин в том, что в нашей книги про Манифест мы уже использовали точечную нотацию для другой цели, не относящейся напрямую к теме заметки этого месяца, и я хочу по мере возможности оставаться в согласии с этой книгой.)