問題タブ [applicative]

私はParsecで遊んでおり、2つのパーサーを1つに結合して、結果をペアにした後、別の関数をフィードして、解析結果を操作し、次のように記述します。

だから私はこれを書いた：

と

どこかに実装されている（<＆>）に似たものはありますか？それとも、これはポイントフリーで書くことができますか？試してみfmap (,)ましたが、タイプに合わせるのが難しいようです。

Andrew Birkett のブログApplicative arrows for XML &&& return to pureで、矢印と applicative functor を混在させることができると読みました。

私は自分でそれを試しましたが、私は期待したものを持っていません。私はこの結果が欲しい：

しかし、私は代わりにこれを取得します:

コードにねじれがあると思いますが、どこを検索すればよいかわかりません。

誰かが助けを提案できる場合、以下は私のコードです。

Parsec をモナドではなくアプリカティブとして使うべきだというコンセンサスがあるようです。モナド構文解析に対する適用的構文解析の利点は何ですか?

• スタイル
• パフォーマンス
• 抽象化

モナドは解析していますか?

スタイル関連のパーサーの質問に対するAnthonyの応答を読んだ後、私は、モナディックパーサーを作成することはまだかなりコンパクトである可能性があることを自分自身に納得させようとしていました。

だから代わりに

私たちは単に持つことができます：

これは、Anthonyが提供するアプリケーションバージョンと非常によく似ています。

... 「シーケンスしますが、値を破棄し、左側に提供された値を使用する」という意味として定義されている<<!ものと概念的に類似している演算子を除きます。<*liftA2 const

もちろん、<<はの悪い名前だったでしょう。それは、とと同じ論理に従う場合と同等liftM2 constであることを示唆しているでしょう。<<flip >>>>==<<

単一の名前で「liftM2const」が見つかりません。あまり役に立たないからですか？

ghci で:

これは、ghci が Applicative を実行し、結果を表示するということIOですか?

何も印刷しないpure ()でください。pure (+1)

のドキュメントを見ると、Control.Applicative特定のモナド（たとえばIO、Maybe特に）のインスタンス宣言がありますが、やSTなどのMTLモナドのインスタンスはありません。代わりに、汎用タイプが定義されているように見えます。これは、他のすべてのケースをカバーするためだと思います。StateRWSWrappedMonad

だからここに私の質問があります：

1. ApplicativeMTLモナドのインスタンスがないのはなぜですか？私がこれまでに自分で見つけた最良の答えは、3年前の投稿で、誰かがこれらのインスタンスを実装し、すぐに無視されました。

2. どうしたのWrappedMonad？Redditに簡単に説明している投稿を見つけましたが、使い方がわからないと思います。

最終的には、（私が推奨したようにState）アプリケーションスタイルで使用できるようにしたいと思いますが、コードにデータコンストラクターを散らかす必要がある場合、それは成功とは思えません。また、完全に無視して、インスタンスを自分で定義することもできます。たとえば、などの場合と同じように、インスタンスを定義します。WrappedMonadWrappedMonadApplicativeIOSTreturnap

タプルの配列と標準があります。タプルをソートして、要件を満たすタプルをピックアップしたいと考えています。
タプルについては、最初の要素を無視し、2 番目の要素と 4 番目の要素を通常の方法で並べ替えますが、3 番目の要素も逆の順序で並べ替えます。2 番目の要素を含むすべてのタプルは少なくとも標準と同じ大きさであり、3 番目の要素は最大で標準と同じ大きさであり、修飾されたタプルです。上記の例では、修飾されたタプルは次のとおりです。("C", 0, 3.0M, 4L) |] 条件は次のとおりです: 2 番目の要素 >= 0 および 3 番目の要素 <= 4.5M および 4 番目の要素 >= 4L しかし、私のコードは機能しませんでした! この仕事をすることができる関数を書く方法を教えてください! ありがとう、良い週末を。ジョン

私はhaskellの初心者で、Learn youahaskellの本を読んでいます。私はしばらくの間、ファンクターとアプリケーションファンクターを消化しようとしています。

適用可能なファンクターのトピックでは、のインスタンス実装Maybeは次のように与えられます。

ですから、私が理解しているNothingように、左側のファンクター（for <*>）がNothingであるかどうかがわかります。私には、それはより理にかなっているようです

そのため、このアプリケーションファンクターは効果がありません。配給のユースケースはありNothingますか？

言ってやるが、Maybe String私にはその価値がわからない。これをサードパーティの関数に渡す必要がありMaybeますが、その結果をMaybe (a -> b)最初に数回実行する必要があります。これらの関数のいくつかがあれば、データの損失であるをNothing与えるのではなく、サイレントに入力を返すようにします。Nothing

Nothingそれで、上記の例で戻ることの背後にある考え方は何ですか？

Haskellでアプリケーションファンクターがどのように機能するかをある程度理解していると思います。基本的なデータ型（多分、どちらか...）にそれらを使用しています。しかし、私は次の例でこの質問を見つけました：

適用可能なスタイルで書き直すことができます：

コンパイルされて実際に期待どおりに機能することに驚きましたが、これに使用されているApplicative Functorとその定義を誰かに教えてもらえますか？

更新：私はそれがどのように機能するかを理解したと思いますが、それがどこで定義されているのかわかりません。

Just [1]go fromとJust [2]toである、Haskell で盲目的に明白でなければならないことを実行しようとしていJust [1, 2]ます。しかし、関連しているが役に立たないページを見つけ続けているため、オンラインで何も見つけることができません。それで、どうやってこれを達成しますか？