Я заинтересован в использовании систем переписывания терминов и обнаружил, что переписывание терминов «помогает в базовых рассуждениях о функциональных программах», но я не могу понять, что это значит. Я не работал с функциональным программированием, но я знаю основные принципы, такие как чистые функции и неизменность. Тем не менее, я не могу понять, к чему относятся основные рассуждения. Кроме того, это как-то связано с инверсией переписывания термина?