クローズ（ハスケル）

Question

私にとってクロージャは、同じ場所にあるデータを持つ（入れ子？）関数です。

ハスケルにソフトウェアを書き込んで後で見ると、意図せずに作成したクロージャが頻繁に見つかることがあります。

私はこの権利を自分自身で得ることはできません。どのような状況で私は意図的にクロージャをコード化したいですか？結局のところ、すべての例では、同じ場所にあるデータの量は自明ではなく、実際には（意図的な）作成を正当化するようなものではないようです。意図的にクロージャを作成する際に私をサポートするHaskellモジュールがありますか？それらを地図に保存する？

Answer 1

ハスケルでは、関数は言語の本質的な部分です。主にハスケルはLambda Calculusに基づいています。

ラムダ微積分には、「自由変数」を持つ関数があります。つまり、直接変数として渡されなかった変数が使用されます。自由変数を持つ関数は、この場合「クロージャ」と呼ばれるものです。

自由変数を持つ関数はLCで非常に一般的であるため、Haskell言語の不可欠な部分も形成します。たとえば、ときにこれを書く：でも

f a b = \ c -> a * b + c 

...または：

f a b c = a * b + c 

...あなたも、まったく同じ結果と、これを書くことができ

f a b = let product = a * b in \ c -> product + c 

...さらに同等の変更：

f a = \ b -> let product = a * b in \ c -> product + c 

これはHaskellが本質的にフリー変数を持つ関数をすべてというように作成するため、常にクロージャが作成されるからです。これらの中には、コンパイラによって最適化されているものもありますが、自分で発見することができるよりも多くのクロージャが使用されることは想定しても安全です。

したがって、クロージャーの位置を確認しないでください。彼らはハスケルで特別なものではなく、常に使用されています。

Answer 2

通常、テーブルや関数を事前計算する必要がある場合や、大量のデータを必要とする関数がある場合は、それがクロージャとして行われます。先日私のAIの宿題では、多くのサンプルから学び、(Point -> Bool)関数をポップアウトしたことを書きましたが、その関数は学習プロセスから蓄積した多くのデータに依存しなければなりませんでした。