haskell - アプリカティブファンクター分析

Question

アプリカティブファンクターの静的解析について学ぼうとしています。多くの情報筋によると、モナドよりもそれらを使用する利点は、静的解析の影響を受けやすいことです。

しかし、実際に静的解析を実行する唯一の例は、複雑すぎて理解できません。これのより簡単な例はありますか？

具体的には、再帰的なアプリケーションで静的分析を実行できるかどうかを知りたいです。たとえば、次のようなものです。

y = f <$> x <*> y <*> z

上記のコードを分析すると、y で再帰的であることを検出できますか? それとも、参照の透過性によって、これが可能になることはまだありますか?

score 3 · Accepted Answer

はい、適用可能なファンクターはモナドよりも多くの分析を可能にします。しかし、いいえ、再帰を観察することはできません。問題を詳細に説明する解析に関する論文を書きました。

次に、再帰の代替エンコーディングについて説明します。これには、分析が可能で、その他の利点と欠点があります。その他の関連する作業は次のとおりです。

さらに関連する作業は、これらの論文の関連作業のセクションで見つけることができます...

haskell - アプリカティブ ファンクター分析