対話

プログラミング環境のコンポーネントは、常に進化し続ける状態を維持しながらユーザーと通信する必要があります。私たちは、「対話」と呼ばれるそのようなコンポーネントの抽象化を導入し、純粋な適用言語で対話関数を実装します。対話関数は、再帰的に定義されたストリームを通じて通信と状態を実装するために、遅延評価と再帰の特性を利用します。私たちは、対話を使用してプログラミング環境コンポーネントを定義する方法を示します。結果として得られるプログラミング環境のコンポーネントは、通信と状態の取り扱いにおいて一貫しています。