続きが面白い。特に興味深いのは、それらが他のすべてのモナドをどのように包含するかです。また、最適化にも多用されていると聞きます。それらが使用できると聞いていることの1つは、物事の制御の反転です。のように、gui のようなもの。これを使用するHaskellのライブラリの例があるかどうか疑問に思っています。
人気とか特に興味ないです。主に読書用に欲しいです。考慮すべき要素:
- 継続デリバティブではなく、直接継続: と同様の型に基づいている必要があります
newtype Cont r a = Cont ((a -> r) -> r)。(コンビネータは問題ありませんが、単純な継続がそれにどのように適合するかは理解できるはずです。) - 制御の反転に使用: 継続は多くの用途に使用されますが、私は主に GUI タイプのものや、制御の反転が物事を容易にする他の場所に興味があります。
- 普及: 継続は普及した制御構造であるべきです。
- よく書かれている: コードは読みやすく、学びやすいものでなければなりません。
(私がこれをやりたい理由は、関数のみに基づく継続が、非常に強力でありながら、非常に純粋な関数型プログラミングの概念であることがわかったからです。私が気に入っているこの 1 つのライブラリは、非常にストレートな関数型プログラミングであり、私は継続して拡張したいと考えています。)
注: ストレートな継続であることはあまり重要ではありません。制御の反転は、私が主に求めているものです。