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

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

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

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

解決済

haskellのラムダ関数の仕組みについて

takuyaKK
takuyaKK

総合スコア37

Haskell

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

1回答

0リアクション

0クリップ

663閲覧

投稿2021/08/09 12:54

haskellのラムダ関数の挙動についての質問です。

haskell

cup f10z = \_ -> f10z coffee = cup 7 get0z aCup = aCup (\f10z -> f10z)

上のようなコードを書いてから実行すると

haskell

*Main> get0z coffee 7

このように値が返ってくるのですが、なぜこのコードが動くのかが分かりません。

get0z という関数は右辺にラムダ関数があるので、この関数を実行するには引数1つに加えてもう一つラムダ関数に渡す用の引数が必要になる気がするのですが、なぜ今回は引数を1つしか渡していないのに動くのでしょうか?

以下のような質問にはリアクションをつけましょう

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

リアクションが多い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

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

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

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

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

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

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

hoshi-takanori

2021/08/09 19:11

cup 7 は \_ -> 7 であり、引数を使ってないので、get0z の右辺にあるラムダ関数 (\f10z -> f10z) は実行されません。

まだ回答がついていません

会員登録して回答してみよう

アカウントをお持ちの方は

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

ただいまの回答率
86.12%

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

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

質問する

関連した質問

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

Haskell

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