생성자에 반대되는 함수에 대한 적절한 용어는 무엇입니까? 데이터 유형에서 값을 풀려면?

편집 : 나는 질문을 약간 표현하고 있습니다. 분명히 소멸 자라는 용어 가 OOP에서 매우 다른 무언가에 사용 된다는 것을 알지 못했기 때문에 혼란 이 생겼습니다. 개체가 파괴 될 때 호출되는 함수입니다. 함수형 프로그래밍에서 우리는 변경 가능한 상태를 피하려고 시도하므로 이에 상응하는 것은 없습니다. (질문에 적절한 태그를 추가했습니다.)

대신, (특히 같은 단일 값 데이터 유형에 대한 값을 풀기위한 레코드 필드 것을 본 적이 newtype들)이라고도한다 소멸자 혹은 deconstructor . 예를 들어 (하스켈로) :

newtype Wrap = Wrap { unwrap :: Int }

여기 Wrap생성자가 있고 unwrap무엇입니까?

질문은 :

• unwrap함수형 프로그래밍에서 어떻게 호출 합니까? 해체 자? 파괴 장치? 아니면 다른 용어로?
• 분명히 말하면, 이 / 다른 용어는 다른 기능 언어에 적용 가능 합니까, 아니면 Haskell에서만 사용됩니까?
• 아마도, 비 기능적 언어로 된 일반적인 용어가 있습니까?

예를 들어 두 용어를 모두 보았습니다.

... 대부분은 스마트 생성자와 소멸자 를 제공하여 작업을 용이하게합니다. ...

에서 하스켈 위키 , 또는

... 여기서 일반적인 주제는 생성자- 해체 쌍 을 융합하는 것입니다 ...

에 하스켈은 wikibook (여기가 아마 좀 더 일반적인 의미에서 의미하는 것), 또는

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

unDL 함수는 deconstructor로 DL 생성자를 제거합니다. ...

에서 실제 세계 하스켈 .

이 개념에는 몇 가지 용어가 있습니다. 해체는 내가 하스켈 서클에서 일반적이라고 믿는 것입니다. 그것이 실제 세계 하스켈이 부르는 것입니다. 나는 Lisp 서클에서 destructuring (또는 destructuring bind)이라는 용어가 일반적이라고 생각합니다.

Destructor는 C ++에서 사용되는 용어로, 내가 모르는 다른 언어 일 수 있습니다. 생성자에 의해 생성 된 리소스를 해제하는 데 사용되므로 정확히 반대의 작업을 수행합니다. 어쩌면이 개념이 문자 그대로 하스켈로 번역되지는 않지만이 용어는 어떤 곳에서 사용되는 것 같습니다.

편집 : 질문에 대한 편집 내용을 고려할 때 언 래퍼 (unwrapper)라고 부릅니다. 원래 질문에 대답 할 수 있었지만 이제는 내 지식에서 벗어 났으 므로이 편집을 너무 심각하게 받아들이지 마십시오.

OOP에서 생성자는 새로운 객체를 생성하고 초기화하는 함수 또는 언어 구조이며 (객체를 '구축합니다'), 소멸자는 객체를 정리하여 객체를 정리하는 이중, 함수 또는 언어 구조입니다. 보유) 삭제합니다.

그러나 Haskell (C ++과 달리)은 가비지 수집 기능을 가지고 있으며 가변 상태 또는 기타 부작용 (적어도 직접적이지 않음)을 지원하지 않기 때문에 OOP 의미에서 소멸자 개념에 대한 이유는 전혀 없습니다. 또한 Haskell 생성자는 OOP 생성자와 달리 개체 생성보다 더 많은 응용 프로그램을 가지고 있습니다. 또한 패턴 일치에 많이 사용됩니다 (아래 예 참조).

코드 예제에서 'unwrap'은 레코드 필드 이며 사용 방법에 따라 접근 자 또는 getter 라고도 할 수 있습니다 (후자는 렌즈 컨텍스트에서 사용 되기는하지만) 실제로 약간 혼란 스러울 수 있습니다).

나는 Haskell 컨텍스트에서 사용되는 '파괴자'(또는 '파괴자')라는 용어를 들어 본 적이 없습니다. 그러나 Andres F.가 지적했듯이 생성자에 의해 도입 된 줄 바꿈을 취소하는 함수를 나타내는 데 사용되기도합니다. 내 이해에 따르면 레코드 게터는 소멸자 역할을 할 수 있지만 더 복잡한 데이터 형식에서 가치를 얻는다면 정규 함수도 가능합니다. 예는 다음 maybe과 either서곡에서.

그 주 unwrap, 당신의 예에서, 몇 가지 할 수 있습니다 :

• 기능 (다른 것과 마찬가지로) : 예를 들어, map unwrap [ Wrap 23, Wrap 42 ]; 이 사용법은 OOP의 getter 메소드와 거의 같습니다.
• 레코드 구성의 레코드 필드 지정자 let w = Wrap { unwrap = 23 }
• 레코드 업데이트의 레코드 필드 지정자 : let w' = w { unwrap = 23 }; 이것은 OOP의 setter 메소드와 비슷합니다 (많이 짜 내면).
• 패턴 일치의 레코드 필드 지정자 : f Wrap { unwrap = a } = a

하스켈 생성자를 OOP 생성자와 전혀 다른 것으로 생각하는 것이 가장 좋습니다. 더 나은 이해를 위해 Haskell 프로그래밍 언어에 대한 좋은 책을 다시 읽도록 제안합니다. "Real World Haskell" 은 정말 좋으며 "Learn You A Haskell"에 대한 좋은 소식을 들었습니다 . 둘 다 생성자 및 레코드 구문에 대한 좋은 설명이 있어야합니다.

나는 소멸자가 더 넓은 용어라고 생각합니다. Java 및 VB.NET과 같은 일부 언어에는 종료자가 있습니다. /programming/171952/is-there-a-destructor-for-java

언어 간 규칙이없는 것처럼 보이기 때문에 스칼라가 일반적인 개념으로 사용하는 용어이기 때문에 기존의 사용법과 혼동되지 않기 때문에 일반적으로 추출기를 호출기로 부릅니다 .