조인 계산법에서 대수 패턴 매칭 확장

조인 계산법은 Milner의 π‑계산법을 계승하면서, 여러 채널에 동시에 메시지가 도착했을 때 하나의 반응 규칙을 원자적으로 실행하도록 설계된 프로세스 계산법이다. 전통적인 조인 패턴은 채널 이름만을 매칭 대상으로 삼아, 채널에 메시지가 존재하는지만을 확인한다. 그러나 현대 함수형 언어에서는 대수적 데이터 타입(리스트, 트리, 사용자 정의 ADT 등)에 대한 풍부한 패턴 매칭이 핵심적인 표현 수단이다. 본 논문은 이러한 두 패러다임을 결합하기 위해, 조인 패턴 자체에 대수적 패턴을 허용하는 ‘확장된 조인 패턴(extended join pattern)’을 도입한다. 예시로 제시된 동시 스택 구현을 살펴보면, 기존 조인 정의는 ``` def pop(r) & State(x::xs) ⊲ r(x) & State(xs) or push(v) & State(ls) ⊲ State(v::ls) in State(