Haskellおよび/またはラムダ計算におけるパラメーターなしのラムダ式

SchemeやPythonなどの熱心な言語では、パラメータなしのラムダ式を使用して、評価を遅延させることができます。たとえば、Scheme（チキンスキーム）の場合：

#;1> (define (make-thunk x) (lambda () (+ x 1)))
#;2> (define t (make-thunk 1))
#;3> (t)
2

2行目tは未評価の式にバインド(lambda () (+ 1 1))され2、3行目で評価されます。

同様に、Pythonでは：

>>> def make_thunk(x): return lambda: x + 1
... 
>>> t = make_thunk(1)
>>> t()
2

この手法を使用すると、熱心な言語で遅延評価を実装できます。

そのため、言語が既に遅延しており、遅延式を作成する必要がないため、Haskellにはパラメーターなしのラムダ式がないと予想していました。驚いたことに、Haskellではラムダ式を書くことが可能であることがわかりました

\() -> "s"

これは次の()ような値にのみ適用できます：

(\() -> "s") ()

結果を出す

"s"

この関数を()例外以外の引数に適用すると、（少なくともテスト中に確認できる限り）例外がスローされます。これは、SchemeやPythonでの遅延評価とは異なります。これは、式を評価するために引数が必要なためです。では、変数のないラムダ式（など\() -> "s"）はHaskellで何を意味し、それは何のために役立つのでしょうか？

また、同様のパラメーターなしのラムダ式が（いくつかの種類の）ラムダ計算に存在するかどうかも知りたいです。

さて、他の答え\() -> "something"はHaskellでの意味をカバーしています：()引数として取る単項関数です。

• 引数なしの関数とは何ですか？- 価値。実際、変数をその値に評価されるヌラリ関数と考えると役立つ場合があります。let引数のない関数（実際には存在しない）の-syntaxは、最終的に変数バインディングを提供します。let x = 42 in ...

• ラムダ計算にはゼロ関数がありますか？–いいえ。すべての関数は引数を1つだけ受け取ります。ただし、この引数はリストの場合や、関数が次の引数を取る別の関数を返す場合があります。Haskellは後者のソリューションを好むため、a b c実際には2つの関数呼び出しになります((a b) c)。ヌル関数をシミュレートするには、未使用のプレースホルダー値を渡す必要があります。

あなたは()Haskellの意味を誤解している。これは値の不足ではなく、Unitタイプ（空の括弧のセットによって参照されるタイプ自体）の唯一の値です。()

ラムダ\() -> "s"はパターンマッチングを使用するように構築できるため、ラムダ式は「無名関数を作成し、()パターンに一致する入力を期待する」と明示的に言っています。それを行う意味はあまりありませんが、それは確かに許可されています。

他の方法でラムダを使用したパターンマッチングを使用することもできます。次に例を示します。

map (\(a, b) -> a + b) [(1,2), (3,4), (5,6)] -- uses pattern matching to destructured tuples

map (\(Name first _) -> first) [Name "John" "Smith", Name "Jane" "Doe"] -- matches a "Name" data type and its first field

map (\(x:_) -> x) [[1,2,3], [4,5,6]] -- matches the head of a list

() -> "s"1つの引数を取るラムダ関数です。

ghci> :t (\() -> "s")
(\() -> "s") :: () -> [Char]

()空のタプル（Unitと呼ばれることもあります）は、Haskellでは完全な型です。メンバーは1つだけです（_|_*は無視）。これもと記述され()ます。の定義を見てください()。

data () = ()

つまり、ラムダ式の左側のフォームは、構文的には()、の唯一のメンバーであると一致するパターンマッチ()です。()型の有効なメンバーは1つしかないため、それを呼び出す有効な方法は1つしかありません（引数として指定します）()。

Haskellではこのような関数はあまり有用ではありません。質問で確認したように、デフォルトでは用語はとにかく遅延評価されるためです。

より詳細な説明については、この回答を参照してください。

_{* _|_は「下」または「未定義」と呼ばれます。常に型チェックを行いますが、プログラムをクラッシュさせます。を取得する方法の典型的な例_|_はlet x = x in xです。}