コンストラクタの逆の関数の適切な用語は何ですか？データ型から値をラップ解除するには？

編集：私は質問を少し言い換えています。デストラクタという用語がOOPでまったく異なる何かに使用されていることに気づかなかったため、どうやら混乱が生じたようです。これは、オブジェクトが破棄されるときに呼び出される関数です。関数型プログラミングでは、可変状態を回避しようとするため、それに相当するものはありません。（質問に適切なタグを追加しました。）

代わりに、値をアンラップするためのレコードフィールド（特にnewtypes などの単一値のデータ型の場合）がdestructorまたはdeconstructorと呼ばれることもあります。たとえば、（Haskellで）次のようにします：

newtype Wrap = Wrap { unwrap :: Int }

ここWrapにコンストラクタがあり、それunwrapは何ですか？

質問は次のとおりです。

• unwrap関数型プログラミングをどのように呼び出すのですか？解体者？デストラクタ？それとも他の言葉で？
• そして、明確にするために、この/他の用語は他の関数型言語に適用できますか、それともHaskellだけで使用されますか？
• おそらく、これには一般的に、非機能的な言語での用語はありますか？

私は両方の用語を見ました、例えば：

...ほとんどの場合、スマートコンストラクターとデストラクタを提供して、これらを簡単に操作できるようにします。...

で、Haskellのウィキ、または

...ここでの一般的なテーマは、コンストラクターとデコンストラクターのペアを融合することです...

で、Haskellのwikibook（ここではそれはおそらく、もう少し一般的な意味でのものです）、または

newtype DList a = DL { unDL :: [a] -> [a] }

unDL関数はdeconstructorで、DLコンストラクターを削除します。...

中実世界ハスケル。

この概念にはいくつかの用語があります。解体は、Haskell界では一般的であると私が信じているものであり、実世界のHaskellがそれを呼ぶものです。破壊（またはバインドの破壊）という用語は、Lispサークルでは一般的だと思います。

デストラクタとは、C ++およびおそらく知らない他の言語で使用される用語です。それらは、コンストラクターによって作成されたリソースを解放するために使用されるため、その正反対を行います。概念は文字通りHaskellに翻訳されていないかもしれませんが、この用語はいくつかの場所で使用されているようです。

編集：質問に対するあなたの編集を考慮して、それをアンラッパーと呼びます...私は元の質問に答えることができましたが、今では私の知識から追い出されているので、この編集をあまり真剣に受け止めないでください。

OOPでは、コンストラクターは新しいオブジェクトを作成および初期化する関数または言語構成体（オブジェクトを「構築する」）であり、デストラクターはそのデュアル、オブジェクトまたはリソースを解放することによってクリーンアップする関数または言語構成体です保持）削除します。

ただし、Haskellは（たとえばC ++とは異なり）ガベージコレクションを持ち、可変状態またはその他の副作用を（少なくとも直接ではなく）サポートしていないため、OOPの意味でのデストラクタ概念の理由はまったくありません。また、Haskellコンストラクターは、OOPコンストラクターとは異なり、単なるオブジェクト作成よりも多くのアプリケーションを持っています。また、パターンマッチングでも頻繁に使用されます（例については以下を参照）。

あなたのコード例では、「アンラップ」はレコードフィールドであり、その使用方法に応じて、アクセサー、またはゲッターと呼ぶこともあります（後者はレンズコンテキストでも使用されるため、実際には少し混乱します）。

Haskellの文脈で使用される「デストラクタ」（または「デコンストラクタ」）という言葉を自分で聞いたことがありません。しかし、Andres F.が指摘しているように、コンストラクターによって導入されたラッピングを元に戻す関数を参照するために使用されることがあります。私の理解では、レコードゲッターはデストラクタとして機能する可能性がありますが、より複雑なデータ型から値を取得すれば、通常の機能も機能します。例にはmaybe、eitherプレリュードから。

unwrapあなたの例では、いくつかのことができることに注意してください：

• 関数（他の関数と同様）：たとえば、doを実行できmap unwrap [ Wrap 23, Wrap 42 ]ます。この使用法は、OOPのgetterメソッドとほぼ同等です。
• レコード構造内のレコードフィールド指定子： let w = Wrap { unwrap = 23 }
• レコード更新のレコードフィールド指定子： let w' = w { unwrap = 23 } ; これは、OOPのセッターメソッドに似ています（多くの場合、絞ります）。
• パターンマッチングのレコードフィールド指定子： f Wrap { unwrap = a } = a

Haskellコンストラクターは、OOPコンストラクターとはまったく異なるものと考えるのがおそらく最善です。Haskellプログラミング言語の良い本をよりよく理解するために（再）読むことをお勧めします- 「Real World Haskell」は本当に良いですし、「Learn You A Haskell」について良いことを聞いたことがあります。両方とも、コンストラクターとレコード構文についての適切な説明が必要です。

デストラクタはより広い用語だと思います。JavaやVB.NETなどの一部の言語にはファイナライザーがあります。 /programming/171952/is-there-a-destructor-for-java

言語間の慣習はないようですので、私は通常それらをextractorsと呼びます。これはScalaがその一般的な概念に使用する用語であり、既存の使用法と混同される可能性が低いためです。