Стоимость вызова по нажатию - Call-by-push-value

В теория языков программирования, то значение вызова по нажатию (CBPV) парадигма,^[1] вдохновлен монады, позволяет писать семантику лямбда-исчисления без написания двух вариантов для устранения разницы между вызов по имени и вызов по стоимости. Для этого CBPV вводит термин язык, который различает вычисления и значения в соответствии с слоганом значение, вычисление делает; этот термин «язык» имеет единый порядок оценки. Однако для оценки лямбда-исчисление срок согласно названию (CBN) или по значению (CBV) стратегия сокращения, можно перевести термин в CBPV, используя стратегию перевода «вызов по имени» или «вызов по значению», что приводит к появлению различных терминов. Оценка результата преобразования вызова по значению соответствует оценке исходного термина с помощью стратегии вызова по значению; оценка результата преобразования вызова по имени вместо этого соответствует оценке исходного термина с помощью стратегии вызова по имени.

Это особенно полезно при работе с семантикой различных побочных эффектов, таких как неопределенность, изменяемое состояние или недетерминизм. Вместо того, чтобы давать два варианта семантики, один для порядка оценки вызова по имени и один для порядка вызова по значению, можно просто указать семантику для языка терминов CBPV; можно получить две семантики для лямбда-исчисления, составив эту семантику CBPV с теми же переводами CBV и CBN из лямбда-исчисления.

Рекомендации

1. Пол Блейн Леви. "Ценность вызова-за-толчком: парадигма поглощения" (PDF).