기능적 언어의 게터와 세터

함수형 프로그래밍의 신조 중 하나는 순수 함수를 사용하는 것입니다. 순수한 기능은 부작용이 없으며 참조가 투명합니다.

Getter 는 참조 용으로 투명하지 않습니다. Getter 호출간에 Setter를 호출하면 매개 변수가없는 경우에도 Getter의 리턴 값이 변경됩니다 (일반적으로 매개 변수 없음).

세터 는 부작용을 일으 킵니다 -세터를 호출하면 일반적으로 반환 값이 아닌 값을 조작합니다 (사실 전통적으로 세터는 아무것도 반환하지 않습니다)

스칼라에서 우리는 두 가지 패러다임 (함수 및 객체 지향)을 함께 메쉬하고 있다는 사실을 받아들이고 Java와 같은 언어에서와 마찬가지로 getter / setter를 사용합니다.

Haskell과 같은 언어 (유창하지는 않지만 "순수한"기능 언어를 더 잘 알고 있음)에서 Getter가 참조 적으로 투명하고 Setter가되도록 객체의 속성을 모델링하는 방법이 궁금합니다. 부작용은 없습니까?

해결책은 setter가 호출 된 오브젝트의 사본을 setter의 리턴 값으로 전달하고이 사본에 특성 값의 변경 사항이 포함되어 있습니까?

바로 그거죠. 케이스 클래스 방법 copy또는 렌즈의 일반적인 개념을 참조하십시오 .

특히 상태를 변경해야하는 경우 State 모나드를 사용합니다. 렌즈를 통해 상태 모나드를 변경할 수 있으므로 "상태"에서 정보를 추출하고 쉽게 변경할 수 있습니다.

"상태"와 같은 깊은 구조에서 발생하고 변경하는 일반적인 문제에 대한 이 질문 도 참조하십시오 . 더 깊이 들어가고 싶다면 렌즈와 지퍼 모두에 대한 좋은 링크가 있습니다.

Haskell에서 객체는 (보통) 불변이므로 getter (레코드 구문을 사용할 때 얻는) 또는 getter처럼 작동하는 함수 는 참조가 투명합니다. 그런 다음 개체에 값을 "설정"하지 않습니다. 이전 개체와 비슷하지만 필드 중 하나에 다른 값을 가진 새 개체를 만드는 경우 . 이것은 또한 순수한 기능입니다.

"게터와 세터는 일반적으로 암시 적 임에도 불구하고 개체를 매개 변수로 사용하므로 게터는 참조 적으로 투명합니다. – delnan"

참조 적으로 투명한 것은 함수가 항상 동일한 입력에 대해 동일한 출력을 리턴 함을 의미합니다. 따라서 setter가 오브젝트 속성을 변경 한 경우 동일한 출력을 리턴하지 않습니다. :)