質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
86.02%
Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。

Q&A

解決済

アプリカティブファンクターについて

okitou
okitou

総合スコア1

Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。

2回答

1グッド

0クリップ

569閲覧

投稿2020/10/25 07:59

書籍「すごいHaskellたのしく学ぼう!」を現在学習中です。

(+) <$> (*2) <*> (+10)

第14章に上記のコードが出てきましたが、最終的にどんな動作をする関数になるのか分かりません。
実行してみると、引数を3倍した値?に10を足したような結果が出てきます。

1引数関数同士をfmapすると関数合成と同じになるので(+) <$> (*2)(+) ((*2) x)になるのは理解できますが、
これに対して<*> (+10)を適用するとどんな風になるのでしょうか。

<*>は以下のように「ファンクターに包まれた関数を取り出して、ファンクター値に適用する」という風に理解をしてしまっています。

(+) <$> Just 10 <*> Just 20
igrep👍を押しています

以下のような質問にはグッドを送りましょう

  • 質問内容が明確
  • 自分も答えを知りたい
  • 質問者以外のユーザにも役立つ

グッドが多くついた質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

気になる質問をクリップする

クリップした質問は、後からいつでもマイページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

下記のような質問は推奨されていません。

  • 間違っている
  • 質問になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

適切な質問に修正を依頼しましょう。

回答2

2

ベストアンサー

結論からいうと次のようになります。

haskell

1(+) <$> (* 2) <*> (+ 10)\x -> (x * 2) + (x + 10)

ここからはなぜそうなるのかを見ていきます。

まず (<$>)(<*>) の定義を見ましょう。

haskell

1-- https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Base.html#line-973 2instance Applicative ((->) r) where 34 (<*>) f g x = f x (g x) 56infixl 4 <*> 7 8-- https://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Functor.html#%3C%24%3E 9(<$>) :: Functor f => (a -> b) -> f a -> f b 10(<$>) = fmap 11infixl 4 $> 12 13-- https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Base.html#line-973 14instance Functor ((->) r) where 15 fmap = (.)

この定義に沿って式変形をしていきます。

haskell

1 (+) <$> (* 2) <*> (+ 10) 2≡〈優先順位の括弧を明記〉-- (1) 3 ((+) <$> (* 2)) <*> (+ 10) 4≡〈(<*>) の定義を代入〉 -- (2) 5 \x -> ((+) <$> (* 2)) x ((+ 10) x) 6≡〈中置記法に変換〉 -- (3) 7 \x -> ((+) <$> (* 2)) x (x + 10) 8≡〈(<$>) の定義を代入〉 9 \x -> ((+) . (* 2)) x (x + 10) 10≡〈(.) の定義を代入〉 11 \x -> (\y -> (+) ((* 2) y)) x (x + 10) 12≡〈中置記法に変換〉 13 \x -> (\y -> (+) (y * 2)) x (x + 10) 14≡〈関数適用〉 15 \x -> ((+) (x * 2)) (x + 10) 16≡〈中置記法に変換〉 17 \x -> (x * 2) + (x + 10)
  1. (<$>)(<*>) はともに同じ優先順位の左結合です。
  2. (<*>) f g x = f x (g x)(<*>) = \f -> \g -> \x -> f x (g x) と同じです。
  3. (+ 10) xx + 10 になります。

定義に沿ってひとつずつ変形してくと理解が深まると思います。

投稿2020/10/25 09:03

kakkun61

総合スコア285

okitou, igrep👍を押しています

良いと思った回答にはグッドを送りましょう。
グッドが多くついた回答ほどページの上位に表示されるので、他の人が素晴らしい回答を見つけやすくなります。

下記のような回答は推奨されていません。

  • 間違っている回答
  • 質問の回答になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

このような回答には修正を依頼しましょう。

回答へのコメント

okitou

2020/10/26 04:30

どうやってその式になるのか詳細に書いていただいたのでなんとか理解できました! ちゃんと実装を確認することも重要ですね。 非常に丁寧なご回答感謝いたします。

1

@kakkun61 さんの回答に補足します。

要約すると関数->における<*>は、同じ引数を共有しながら合成する演算子となっています。

例えば<*>の定義

instance Applicative ((->) r) where … (<*>) f g x = f x (g x)

においても、xfg両方に渡しながら(共有させながら)fgを合成していますよね?

そしてラムダ式に変換した、

(+) <$> (* 2) <*> (+ 10) ≡ \x -> (x * 2) + (x + 10)

でも、やはりx(* 2)(+ 10)という二つの関数で共有しています。

投稿2020/10/25 10:47

編集2020/11/11 09:48
igrep

総合スコア423

okitou👍を押しています

良いと思った回答にはグッドを送りましょう。
グッドが多くついた回答ほどページの上位に表示されるので、他の人が素晴らしい回答を見つけやすくなります。

下記のような回答は推奨されていません。

  • 間違っている回答
  • 質問の回答になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

このような回答には修正を依頼しましょう。

回答へのコメント

okitou

2020/10/26 04:32

"同じ引数を共有しながら"でかなりイメージを掴めました。 とても分かりやすい補足ありがとうございます。

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
86.02%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問

同じタグがついた質問を見る

Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。