エフェクトハンドラ、矢印、およびアプリケーション

矢印とアプリケーションのエフェクトハンドラに関するLindleyの論文を読んだ後、私は要点を得ましたダイナミックおよび静的なフローについて、そしてそれがエフェクトシステムに追加されたことなどについて説明します。しかし、私はこの論文について2つのことを理解していません。

  1. 単項演算子 G
    が必要なのはなぜですか?私は、あなたが矢印のような機能を表現するために別のタイプを持たなければならないことを理解しています。それが解決された方法です。
    G がアプリケーションに必要な理由がわかりません。
  2. 矢印とアプリケーションの両方の処理に B タイプの z
    型を受け取るラムダ式が必要なのはなぜですか?静的なすべてがスコープにダンプされることを意味しますか?

私はLindleyの以前の論文をエフェクトハンドラで読みました。そして、私はHaskellの矢印とアプリケーションに精通しています。

ベストアンサー
申し訳ありませんが、適切な答えはありません

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です