반복자와 재귀자를 위한 인터랙션 넷 인코딩

초록

본 논문은 함수형 프로그래밍에서 사용되는 반복자와 재귀 연산자를 인터랙션 넷(IN) 형태로 인코딩하는 방법을 제시한다. 이를 통해 함수형 프로그램을 시각적으로 표현하고, 기존 λ-계산을 IN으로 변환하는 기법을 재귀 타입을 포함하도록 확장한다.

상세 분석

논문은 먼저 인터랙션 넷의 기본 개념을 재정리하고, 기존의 λ-계산 인코딩이 변수 바인딩과 함수 적용을 단순한 에이전트와 규칙으로 표현함을 강조한다. 그러나 재귀적 구조, 특히 고차 반복자와 재귀자를 다루기 위해서는 추가적인 메커니즘이 필요하다. 저자들은 이를 해결하기 위해 두 가지 핵심 아이디어를 제시한다. 첫째, 각 반복자·재귀 연산자를 전용 에이전트로 정의하고, 해당 에이전트가 자신을 호출하는 컨텍스트와 상호작용할 때마다 새로운 인스턴스를 생성하도록 규칙을 설계한다. 둘째, 재귀 타입을 표현하기 위해 ‘코-인덕션’ 형태의 연결 구조를 도입한다. 이 구조는 타입 자체가 자기 자신을 포함하는 경우에도 무한히 확장되지 않도록, 에이전트 간의 연결을 제한적인 ‘접근 가능성’ 규칙으로 제어한다.

구현 측면에서는, 반복자(예: fold, map, iterate)와 재귀자(예: fix, rec) 각각에 대해 구체적인 규칙 집합을 제시한다. 예를 들어 fold는 리스트 구조를 순회하면서 누산기와 현재 원소를 결합하는 에이전트 쌍을 만든다. 이때 리스트의 nil과 cons는 기존 IN 규칙을 그대로 재사용하고, fold 에이전트는 리스트 에이전트와 접촉할 때마다 누산기 값을 업데이트하고 다음 단계로 전파한다. 재귀자 fix는 자기 자신을 호출하는 포인터를 갖는 특수 에이전트로 구현되며, 호출 시마다 새로운 복제 에이전트를 생성해 무한 재귀를 시각적으로 표현한다.

또한 논문은 이러한 인코딩이 ‘시각적 노테이션’으로서의 가치를 갖는다고 주장한다. 프로그램의 실행 흐름이 인터랙션 넷 그래프 상에서 동적으로 변형되는 모습을 직접 관찰할 수 있어, 디버깅 및 교육적 활용이 가능하다. 마지막으로, 제안된 방법이 기존 λ-계산 → IN 변환 파이프라인에 무리 없이 통합될 수 있음을 보이며, 재귀 타입을 포함한 언어 확장에 대한 이론적 근거와 실험적 사례를 제시한다. 전체적으로 이 논문은 함수형 언어의 핵심 연산인 반복과 재귀를 그래픽 모델인 인터랙션 넷에 자연스럽게 매핑함으로써, 형식적 분석과 시각적 이해 사이의 격차를 메우는 중요한 시도를 보여준다.