동기식 반응형 프로그래밍 (Synchronous reactive programming)은 실행을 논리적 순간 (logical instants)과 신호 기반 통신 (signal-based communication)으로 조직함으로써 반응형 시스템에 결정론적인 시간 구조를 제공합니다. Boussinot의 동기식 반응형 모델은 협력적 스레드 (cooperative threads), 브로드캐스트 신호 (broadcast signals), 그리고 동적 프로세스 (dynamic processes)를 통해 이 설정을 확장하며, ReactiveML은 해당 모델을 엄격한 타입 기반의 고차 함수형 언어 (higher-order functional language)로 가져옵니다. 본 논문은 이러한 핵심 메커니즘들을 전용 언어 확장 (language extension)을 통해 노출하는 대신, 일반적인 OCaml 5 내부에서 재구성할 수 있는지 연구합니다. 우리는 대수적 효과 (algebraic effects)와 딥 핸들러 (deep handlers)를 기반으로 하는 라이브러리 런타임인 Tempo를 제시합니다. 효과 연산 (effect operations)은 반응형 중단 지점 (reactive suspension points)을 구분하며, 핸들러는 캡처된 연속 (captured continuations)을 논리적 순간 의미론 (logical-instant semantics)에 의해 스케줄링되는 태스크 (tasks)로 구체화 (reify)합니다. ReactiveML과의 비교 연구를 통해 이러한 라이브러리 수준의 재구성에 따른 오버헤드를 정량화하고, 비용을 지배하는 런타임 메커니즘을 식별합니다.