Q&A
cup 7 は \_ -> 7 であり、引数を使ってないので、get0z の右辺にあるラムダ関数 (\f10z -> f10z) は実行されません。
haskellのラムダ関数の挙動についての質問です。
haskell
1cup f10z = \_ -> f10z 2coffee = cup 7 3get0z aCup = aCup (\f10z -> f10z)
上のようなコードを書いてから実行すると
haskell
1*Main> get0z coffee 27
このように値が返ってくるのですが、なぜこのコードが動くのかが分かりません。
get0z という関数は右辺にラムダ関数があるので、この関数を実行するには引数1つに加えてもう一つラムダ関数に渡す用の引数が必要になる気がするのですが、なぜ今回は引数を1つしか渡していないのに動くのでしょうか？
回答1件
0
ベストアンサー
ひとつずつ簡約していきましょう。
haskell
1get0z coffee 2 ≡〈get0z の定義（ただし aCup = coffee）〉 3 coffee (\f10z -> f10z) 4 ≡〈coffee の定義〉 5 cup 7 (\f10z -> f10z) 6 ≡〈cup の定義（ただし f10z = 7）〉 7 (\_ -> 7) (\f10z -> f10z) 8 ≡〈関数適用〉 9 7
分からない点としましては、最後の
haskell
1(\_ -> 7) (\f10z -> f10z)という式の部分で、これは
(\x -> 7) (\f10z -> f10z)と書いても正しく実行されるんですが、この場合左のラムダ関数のxという引数に入るのが、右側のラムダ関数(\f10z -> f10z)を実行した結果ですよね？じゃ右側のラムダ関数(\f10z -> f10z)のf10zという引数には何が渡されるのかというと何も渡されていないので混乱してしまっております。。。
x は \f10z -> f10z という関数そのものになります。x が関数であることを確かめるために次のようなコードを考えてみましょう。
haskell
1(\x -> x 7) (\y -> y + 1)
どうでしょうか？これも簡約していくと次のようになります。
haskell
1(\x -> x 7) (\y -> y + 1) 2 ≡〈関数適用（ただし x = \y -> y + 1）〉 3 (\y -> y + 1) 7 4 ≡〈関数適用（ただし y = 7）〉 5 7 + 1 6 ≡ 8
投稿2021/08/10 00:20
編集2021/08/10 03:03
総合スコア285
ありがとうございます！あと少しで分かりそうです！
分からない点としましては、最後の
(\_ -> 7) (\f10z -> f10z)
という式の部分で、これは(\x -> 7) (\f10z -> f10z)と書いても正しく実行されるんですが、この場合左のラムダ関数の「x」という引数に入るのが、右側のラムダ関数 (\f10z -> f10z)を実行した結果ですよね？じゃ右側のラムダ関数 (\f10z -> f10z)の「f10z」という引数には何が渡されるのかというと何も渡されていないので混乱してしまっております。。。
うわー、こういう挙動だったんですね。haskell難しい、、、
お陰様で理解できました！ありがとうございます！！！！
あなたの回答
tips
プレビュー
