applicative

1熱

2答えて

最初の引数または第2引数を破棄すると、これらの関数（*>）または（<*）が必要なのはなぜですか？

The type signature of the function (*>)ようになっている：最初の引数の値を破棄し、 (*>) :: f a -> f b -> f b シーケンスアクション。 誰かがこれがなぜ有用であるか説明してください。最初の引数が破棄された場合、直観に反しているようです。 例を示してください。ありがとう。

haskell functional-programming applicative 2017-11-13

---

3熱

3答えて

適用：純粋なf <*> x =純粋な（フリップ（$））<*> x <*>純粋なf

Typoclassopedia私の研究中に私はこの証拠に遭遇しましたが、私の証拠が正しいかどうかわかりません。問題は次のとおりです。 有効な引数に純粋な関数を適用するための何かを述べている交換法則の変種を想像するかもしれません。上記の法律を使用して、そのことを証明： pure f <*> x = pure (flip ($)) <*> x <*> pure f どこに "上記の法律" のポイントを

haskell applicative category-theory 2017-09-30

---

2熱

1答えて

左および右のスターシーケンシング演算子は何をする予定ですか？

私は実装を見て、それがさらに神秘的です： -- | Sequence actions, discarding the value of the first argument. (*>) :: f a -> f b -> f b a1 *> a2 = (id <$ a1) <*> a2 -- This is essentially the same as liftA2 (flip const)

haskell applicative 2017-08-13

---

4熱

1答えて

scalazで使用するカスタムApplicative Functorを作成するにはどのような方法が必要ですか？

私はscalazの| @ |を使用できるようにしたいと思います。私自身の応用ファンクタで。 例： val spread: Source[Yield] = (y2 |@| y1)(_ - _) これは、私はそれがファンクタですので、私はmapを実装する必要が確信している sealed abstract class Source[+A] { def map[B](f: A => B): So

scala functional-programming scalaz applicative 2017-08-15

---

2熱

3答えて

Ramda's apで動作しない私のアプリケーションファンクタは何ですか？

javascriptでアプリケーションファンクタを使用する方法を学習しようとしていて、apメソッドを使用しました。 const buildMerch = product => option => color =>`${product}-${option}-${color}` const merchandise = R.ap([buildMerch], [products, options, c

javascript functional-programming ramda.js applicative 2017-10-15

---

1熱

1答えて

3つ目の関数がすべてpipeKで呼び出されないのはなぜですか？

第三の機能（すなわちdoStuff3）が呼び出されていないので、フォークのconsole.logが"hello world!!!!" const doStuff =() => Future.of(["hello", "world"]), doStuff2 = (x, y) => Future((resolve, reject) => resolve(`${x} ${y}`)),

javascript functional-programming ramda.js applicative ramda-fantasy 2017-10-19

---

4熱

3答えて

Applicativeの状態のインスタンス - データの順序は、私は、このようなタイプのためのApplicativeのインスタンスを実装しようとしています

を流し： newtype State s a = State {runState :: s -> (a, s)} 私は（< *>）機能のためのいくつかのさまざまなアイデアを持っています。私の心に来る、それを実装する 一つの方法は、 1（またはそれらのんでも任意の） (<*>) :: State s (a -> b) -> State s a -> State s b State f <*>

haskell state applicative 2017-07-17

---

9熱

1答えて

複素数ファンクタとモナドの意味と使用法？

私はGHC Data.ComplexモジュールからApplicative ComplexとMonad Complexのインスタンスのソースコードを読んだとき、私はちょっとびっくりしました： -- | @since 4.9.0.0 instance Applicative Complex where pure a = a :+ a f :+ g <*> a :+ b = f a

haskell monads functor complex-numbers applicative 2017-11-08

---

11熱

6答えて

のApplicativeファンクタ：<*>と部分適用、私はグラハム・ハットンによってハスケル</em>で書籍<em>プログラミングを読んでいると私は<code><*></code>と部分アプリケーションが文字列を解析するために使用することができます方法を理解するためにいくつかの問題を抱えている

それがどのように動作しますか。 私はpure (+1)がJust (+1)を生成し、その後Just (+1) <*> Just 2 がJust (2+1)生成し、その後Just 3 しかし、このような、より複雑な場合にはJust 3 のでpure (+1) <*> Just 2 が生成することを知っている： -- Define a new type containing a parser func

parsing haskell applicative 2017-08-04

---