1.3.8. ПРАВЫЕ ЧАСТИ

Всякая конструкция вида

= Q

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

Вычисление правой части = Q сводится к вычислению тропы Q. Если при этом получается объектное выражение Oe, то Oe считается результатом всей правой части.

На первый взгляд кажется, что различие между тропами вида Re и тропами вида = Re - чисто синтаксическое, но это не так. Тонкая разница между ними проявляется в том случае, если вычисление Re приводит к неуспеху, и к этому вопросу мы вернемся позднее.