arrows

15熱

2答えて

は、多くの場合、あなたはpureなしApplicativeのようなもの、またはMonadのようなものを持っているが、returnなし。 semigroupoidパッケージは、これらのケースをApplyとBindでカバーしています。今私はArrowに関する同様の状況にありますが、意味のあるarr関数を定義することはできませんが、他の関数は完全に意味をなさないと思います。私は機能を保持し、それは逆の

10熱

2答えて

特別な角括弧（| ... |）はどのようなものになりますか？

私はarrow notation documentation pageを読んだことがありますが、 "7.10.3。独自の制御構造を定義する"で使用された "パイプブラケット"が何であるかは完全にわかりません。上記の文書の例を考えると proc x -> do y <- f -< x+1 (|untilA (increment -< x+y) (within 0.5 -< x)|

17熱

3答えて

計算構造（Monads、Arrowsなど）

私は、計算がHaskellでどのようにモデル化されているかにかなり関心を持っています。いくつかのリソースは、モナドを「計算可能な計算」と、矢印を「計算の抽象的なビュー」と表現しています。私はこのように説明されたモノイド、ファンクタ、または応用ファンクタを見たことがありません。彼らは必要な構造を欠いているようです。私はそのアイデアが面白いと思うし、似たようなことをする他の構成があるのだろうかと思う

11熱

2答えて

矢印の創造的な使用

投稿記事Creative uses of monads、それは非常に興味深いアイデアや参考資料が集まっているので、私は不思議に感じました。矢印はどうですか？私は個人的な意見や参考資料を探しているわけではありません（monads vs arrowsまたはhelp understanding arrows in haskellなど）。スマートアプリケーションや重要ではないアプリケーション（リサーチペ

7熱

1答えて

オートマトンのように使用できるモナドはありますか？

私はいくつかの入力データ型から出力データ型にストリームトランスフォーマを書きます。入力はユーザーによって行われるため、イベント間には時間があります。各入力はいくらかのリソースのロードを必要とするので、私は「未来を調べる」、すなわちすべての可能な入力を主計算に送り、その結果に基づいてリソースを事前ロードしたいと思う。現在、入力ごとに常に正確に1つの出力がありますが、最終的にこれを変更するのが面白く

4熱

1答えて

Netwireを学ぶための簡単な演習？

Haskell wiki > Netwireには、Netwireの入門資料がありますが、今では（趣味家のHaskellerとして）私はもっと興味を持っています。矢印/ネットワーキングのスキルを磨くためには、どのようなシンプルなエクササイズが有益でしょうか？

6熱

1答えて

矢印内のIO Monadを呼び出す

おそらく私はこれを間違った方法で行っていますが、HXTを使用して、HOpenGLの配列で使用するいくつかの頂点データを読み込んでいます。頂点配列は、newArrayを呼び出すことによって作成されるPtrである必要があります。残念ながら、newArrayはIO Ptrを返すので、Arrow内でどのように使用するかについてはわかりません。 IO a - > Arrow aと同様の型宣言が必要なのでしょ

3熱

1答えて

HXTと矢印の使い方

hxtは問題なく使用していましたが、最初から問題がありました。参照は、古典的なprogrammigの問題の前に、次の私は、解析することトラフ多くの文書のようにそれを使用している liftKeys = atTag "myKeys" >>> proc e -> do key1 <- getAttrValue "name" -< e key2 <- getAttrVa

20熱

2答えて

このArrowLoop.loopの定義はどのように機能しますか？ <code>ArrowLoop</code>ため

関数インスタンスが loop :: ((b,d) -> (c,d)) -> (b -> c) loop f b = let (c,d) = f (b,d) in c ファーストが含まれている私は、署名に問題があります：どのように我々は、おそらく(b,d) -> (c,d)からb -> cを得ることができますか？つまり、得られるタプルのcは、入力の両方の要素に依存する可能性があります。どのよう

0熱

1答えて

HXT XML検索で期待した結果が返されない

私はこのXMLファイルを解析しています。一度私はそれの中のノードに到達すると、私はコードのために1つの子供、descritionのための1つと、ノード参照外の1つ以上の（孫）ノードを保有しています。私が最初に私が望んでいたすべての情報を取得するには、単純な矢印表記と< +>集計を試みたが、それだけで大きなリストをポップし、私はおそらくこのだから私が試した矢印を達成するために、よりエレガントな方