반응 프로그래밍과 파이 계산에는 공통점이 있습니까?

Question

reactive programming과 pi-calculus에는 공통점이 있습니까?

Answer 1

간단히 말해서, 그렇습니다. 기술적으로 Pi-calculus는 아마도 고차원 반응 프로그래밍과 같은 것을 인코딩 할 수 있습니다 (동적으로 채널을 작성하여 일류 값으로 전달할 수 있기 때문).

표면적 인 수준에서 둘 다 상태가 아닌 이벤트 측면에서 시스템을 설명하려고합니다. 이것은 '이벤트 기반 시스템'의 분야를 야기하는 중요한 차이입니다. Pi-calculus는 매우 일반적이며, 반응 프로그래밍 설정에서 만들 수있는 모든 것이 pi-calculus 용어로 합리적으로 자연스러운 인코딩을 가질 가능성이 큽니다.