ユーザー入力がオートマトンに流れ、イベント ストリームのコンテキストで実行され、ユーザーをアプリケーションの別の部分に誘導するアプリケーション アーキテクチャがあります。アプリケーションの各部分は、ユーザー入力に基づいて何らかのアクションを実行できます。ただし、アプリケーションの 2 つの部分は何らかの状態を共有しており、概念的には同じ状態の読み取りと書き込みを行っています。注意点は、2 つの「スレッド」が同時に実行されていないことです。そのうちの 1 つは「一時停止」され、もう 1 つは出力を「生成」します。グローバル変数に頼らずに、この状態共有計算を記述する標準的な方法は何ですか? 2 つの「スレッド」が、何らかの形式のメッセージ パッシングによって同期するローカル状態を維持することは理にかなっていますか?
質問はより概念的なものであるため、コード サンプルはありませんが、Haskell (任意の FRP フレームワークを使用) または他の言語のサンプルによる回答を歓迎します。