변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?

연구를 읽는 두 가지 질문

두 입력 중 하나를 고르기와 같은 입력 나누기

LTCT 예시에서 K는 두 장의 카드를 받아 첫 카드를 내보내는 연산자로 읽습니다. K ‘별’ ‘달’을 적용하면 ‘별’이 남습니다. I ‘별’은 입력을 그대로 전달합니다. 여기의 별과 달은 계산 구조를 읽기 위한 이름이며, 논문의 원래 사례나 실행 가능한 프로그램을 옮긴 것이 아닙니다.

S의 예시는 조금 다릅니다. x를 3, f를 덧셈, g를 두 배로 만드는 함수로 놓으면 f x (g x)는 3+(2×3)이 되어 9를 얻습니다. f는 첫 숫자를 받은 뒤 두 번째 숫자를 받는 방식으로 정의했다고 가정합니다. 같은 입력 3이 두 자리에 전달되는 사실을 먼저 보고, 그다음 두 배와 덧셈의 순서를 확인하면 됩니다.

아래 표는 세 연산자의 입력 사용 방식을 나란히 보여 줍니다. K의 두 번째 입력은 결과를 만드는 데 사용되지 않고, S의 마지막 입력은 두 곳에 전달됩니다. 이것은 모든 계산에서 데이터를 지워도 된다는 운영 권고가 아닙니다. 이 글에서 정한 형식 규칙 안에서 입력이 어떻게 쓰이는지 추적하는 활동입니다.