Haskell Reactive-Banana FRPとイベントループ

Question

私はまだHaskellとFRPの周りを頭で覆そうとしています。具体的には、私は、反応性バナナパッケージを使用し、FRPを入手し始めるいくつかの例を取り上げました。

しかし、入力イベントがいつ発生したかをイベントネットワークがどのように知っているかはまだ分かりません。私の理解では、イベントループがユーザーの入力を絶えずチェックしているNodeJSとは異なり、FRPはユーザー入力や外部信号を「待機」または「確認」するために異なるフレームワークを利用しています。

私の読書から、FRPは時間を明示します。イベントまたは行動のいずれかと時間を結び付けることによって、ネットワークはいつか外部刺激がいつ発火したかを常に知っている。

私はConal、Hudak、et al。によって多くの論文を読みました。説明はあまりにも技術的です。技術的な説明を少なくしてください。

ありがとうございました。

Answer 1

次のように、心の中で基本的なEventのコレクションを提供し、興味深いEvent sおよび基本的なものからBehavior Sを構築すると懸念されたFRPの区別、およびプラットフォーム固有の「グルーコード」を、維持するのに便利です現在のマウスの位置またはキーボードの押下。

リアクティブバナナライブラリでは、この区別はモジュール構造に反映されます。Reactive.Banana.Combinatorsは最初の部分に関係しますが、は2番目の部分に関係します。

ここで、第2部分（基本Events）の仕組みを理解することは、第1部分（FRP）の仕組みを理解する上で重要ではありません。実際、異なるライブラリは非常に異なる実装選択肢を作るかもしれません。

Reactive-Bananaライブラリでは、イベントネットワークは本質的には、外部イベントソース（ライブラリ内のAddHandlerと呼ばれます）に自身を登録する巨大なコールバック関数です。これらの外部ソースの1つがコールバック関数を呼び出すたびに、後者はEventとBehaviorのグラフを従属順にたどり、内部状態に必要な更新を実行し、最後にreactimateで事前に登録されたアクションを実行します。

FRPの魔法は、「イベントネットワーク=巨大なコールバック関数」を知ることは時々役に立ちますが、ライブラリユーザーにこれらの実装の詳細が表示されないことです。