Call by push-값

이 글은 대부분의 독자들이 이해하기에는 너무 기술적인 것일 수도 있다. 기술 세부 정보를 제거하지 않고 비전문가가 이해할 수 있도록 개선하십시오.(2014년 12월) (이 템플릿 메시지를 제거하는 방법 및 시기 학습)

프로그래밍 언어 이론에서, 모나드에서 영감을 받은 ^[1]CBPV(Call-by-push-Value) 패러다임은 이름별(Call-by-value)과 가치별(call-by-value)의 차이를 다루기 위해 두 가지 변형을 쓰지 않고 람다-값의 의미론을 쓸 수 있게 한다.그렇게 하기 위해, CBPV는 값이라는 슬로건에 따라 계산과 값을 구분하는 용어 언어를 도입한다. 이 용어는 하나의 평가 순서를 가지고 있다.단, 호별(CBN) 또는 호별(CBV) 감소 전략에 따라 람다-미적분 용어를 평가하기 위해서는 호별(Call-by-value) 또는 호별(CBV) 환산 전략을 사용하여 CBPV로 변환할 수 있어 용어가 달라진다.가치별 통화 변환의 결과를 평가하는 것은 가치별 통화 전략을 사용하여 원래 용어를 평가하는 것과 일치하며, 이름별 통화별 변환의 결과를 평가하는 것은 대신 통화별 전략을 사용하여 원래 용어를 평가하는 것과 일치한다.

이것은 특히 불수정, 돌연변이 상태 또는 비결정적 상태와 같이 다른 부작용의 의미론을 다룰 때 유용하다.호별 평가 순서와 호별 평가 순서에 대한 의미론 2가지 변형 대신 CBPV 용어 언어에 대한 의미론만 줄 수 있다. 이 CBPV 의미론들을 람다-미적분소에서 동일한 CBV와 CBN 번역을 사용하여 구성함으로써 람다-미적분학에 대한 의미론 2가지를 얻을 수 있다.

참조