問題タブ [arrows]

(->)Haskell でアローの階乗を書きたいと思います。再帰を に変換する方法がわかりませんloop。loop階乗の修正点を作成するために使用できましたが、ラムダ抽象化に問題があり、翻訳できません。

ストリームを変換する別の矢印で階乗を書くことに関する記事があります: [a] -> [b]、しかしそれは私が興味を持っているケースではありません.私が探しているのはそのようなものです.

(->)階乗を矢印で書くにはどうすればよいですか?

更新:主な問題を解決したので、私の解決策が良いスタイルであるかどうかの良いレビューに報奨金を授与します.

最近、マップを記述した XML ファイルであるTMXファイルを解析しようとしています。この形式の興味深い点の 1 つは、外部のタイルセットを指定できることです。

htiled作業の大部分は既に処理されているため、外部のタイルセットを処理できるようにライブラリを拡張しようとしてきましたが、これまでのところ成功していません。

基本的に、ここで達成しようとしているタスクは、次の 2 つのドキュメントが与えられた場合map.tmxです。

とground.tsx:

構造を返します:

(内部のみ) タイルセットを解析する作業方法は次のとおりです。

現在の要素の属性にtilesets応じて、現在の要素または外部ドキュメントを使用するようにメソッドを適応させようとしましたが、役に立ちませんでした:source

（これは私の多くの試みの1つです）。

通常、矢印コマンドを使用していないか、値が矢印の中にあるべきではないのに矢印の内側にあるとGHCが通知するポイントに到達します。タイプ セーフな方法で透過的に IO (およびおそらく XHT 中間操作も) を実行できないことがわかりましたが、ここで立ち往生しています。どのように進めればよいか本当にわかりません。

Haskell で矢印を使用する方法を学んでおり、次のパーサーを実装しています。

最後の 2 つのテストを除いて、すべてのテストは問題なく動作します。

これらのテストは無限ループに陥ります。問題はなぜですか？私が見る限り、それはうまくいくはずですか？

HXTに少し問題があります: いくつかの基準に一致するドキュメント内のすべてのノードを見つけようとしています。レンズ/XPath を OR のような方法で述語として結合しようとしてControl.Arrow.<+>います。ガイドが提案します。ただし、ドキュメントで矢印を「実行」しようとすると、結果が重複します。重複を削除したり、より意味のある方法でテストを組み合わせたりする簡単な方法はありますか? これが私のコードです：

しかし、これを (任意の Web ページで) 実行するたびに、結果/ノードが重複します。これはモノイドを模倣するArrowPlus typeclass<+>の一部であり、ArrowXMLはArrowListとArrowTreeの両方のインスタンスであるため、多くの作業が必要です。ArrowIf述語を作成する必要がありますか? これに関するどんな助けも素晴らしいでしょう:)

有名な論文Idioms are oblivious, arrows are meticulous, monads are promiscuousによると、arrows の表現力 (追加の型クラスなし) は厳密に applicative functor と monads の間のどこかになければなりませArrowApplyんApplicative:紙は「静的矢印」と呼んでいます。ただし、この「静的」性が意味する制限が何であるかは明確ではありません。

問題の 3 つの型クラスをいじってみると、Applicative Functor と Arrow の間の同等性を構築することができましMonadたArrowApply。この構築は正しいですか？(矢の法則のほとんどは、飽きる前に証明済みです)。ArrowとApplicativeはまったく同じということではないでしょうか。

I can build a PID controller in the Haskell FRP library netwire using loop from the ArrowLoop instance provided for Wires.

I can also implement switching between controllers or between a controller and a manual input using switch.

How can I implement bumpless transfer, for example using the "tracking" strategy explained here (or in any number of control engineering articles/books)? Another strategy might be acceptable if it has good performance, but the tracking approach is appealing for my application because it also address anti-windup.

I'm having trouble squinting at the block diagram hard enough to make it look like the type of two (or one?) loop applications.

Haskellで二項関数の両方の引数を何らかの変換によって「持ち上げる」最も慣用的な方法はどれですか? このオペレーターの名前を「リフト」にすると、タイプは次のようになると思います

単純な定義は次のようになります

この投稿の優れた回答のリードに従って、ArrowLoop矢印表記を使用しない実際の例を取得しようとしています。ボンネットの下で矢印がどのように機能するかを完全に理解するまで、矢印表記を使用するのは不快です。そうは言っても、Arrows の (限られた) 理解に基づいて動作する小さなプログラムを作成しました。<<loop>>ただし、恐ろしい例外で終了します。

私の直感では、<<loop>>通常、ループに初期値を指定しないと例外が発生します。を含む行でそれを行っていませんfn i 0.0か? 出力は一致しません:

私が間違っていることを誰かが知っていますか？

How can I make the Carousel-Arrows changing their colors, depending on the picture displayed beneath them?

For example, if I have a bright picture, arrows are black; when I have a dark Picture, arrows are white.

Here is an example of the effect: http://www.herschelsupply.com/

Thank You!