메모 화 된 순수한 함수 자체가 순수한 것으로 간주됩니까?

fn(x)의 주요 요소 목록을 반환하는 것과 같이 값 비싼 것을 수행하는 순수한 함수 라고 가정 해 봅시다 x.

그리고라는 동일한 함수의 메모 버전을 만든다고 가정 해 봅시다 memoizedFn(x). 주어진 입력에 대해 항상 동일한 결과를 반환하지만 성능을 향상시키기 위해 이전 결과의 개인 캐시를 유지합니다.

공식적으로 말하면 memoizedFn(x)순수한 것으로 간주됩니까?

아니면 FP 토론에서 그러한 기능을 나타내는 데 사용되는 다른 이름이나 적격 한 용어가 있습니까? (즉, 후속 호출의 계산 복잡성에는 영향을 줄 수 있지만 반환 값에는 영향을 미치지 않는 부작용이있는 함수)

예. 순수한 함수의 메모리 화 된 버전도 순수한 함수입니다.

함수 순도가 중요하게 생각하는 것은 함수의 반환 값에 대한 입력 매개 변수 (동일한 입력을 전달하면 항상 동일한 출력을 생성해야 함) 및 전역 상태와 관련된 모든 부작용 (예 : 텍스트를 터미널 또는 UI 또는 네트워크로 보내는 텍스트)입니다. . 계산 시간 및 추가 메모리 사용량은 기능 순도와 관련이 없습니다.

순수한 함수의 캐시는 프로그램에 거의 보이지 않습니다. 함수형 프로그래밍 언어는 순수 함수를 메모리 화 된 버전의 함수에 자동으로 최적화하여 유용하다고 판단 될 수 있습니다. 실제로 메모가 유익한시기를 자동으로 결정하는 것은 실제로 매우 어려운 문제이지만 이러한 최적화는 유효합니다.

Wikipedia는 "순수 함수" 를 다음 속성을 갖는 함수로 정의 합니다.

• 그 반환 값이 동일한 동일 인수 (로컬 정적 변수, 비 로컬 변수, 가변 기준 입력 인자 또는 아무 변화가 I / O 장치로부터 스트림 없음).

• 평가 에는 부작용이 없습니다 (로컬 정적 변수, 로컬이 아닌 변수, 변경 가능한 참조 인수 또는 I / O 스트림의 돌연변이 없음).

실제로 순수한 함수는 동일한 입력이 주어지면 동일한 출력을 반환하며 함수 외부의 다른 것에 영향을 미치지 않습니다. 순도를 위해, 동일한 입력이 주어지면 동일한 출력을 반환하는 한 함수가 반환 값을 계산하는 방법은 중요하지 않습니다.

Haskell과 같은 기능적으로 순수한 언어는 일상적으로 메모 를 사용 하여 이전에 계산 된 결과를 캐싱하여 함수의 속도를 높입니다.

그렇습니다. 메모 화 된 순수 함수는 일반적으로 순수라고합니다. 이것은 기억, 지연 평가, 불변의 결과가 내장 된 Haskell과 같은 언어에서 특히 일반적입니다.

한 가지 중요한주의 사항이 있습니다. 메모 기능은 스레드로부터 안전해야합니다. 그렇지 않으면 두 스레드가 호출하려고 할 때 경쟁 조건이 발생할 수 있습니다.

이런 방식으로“순전히 기능적”이라는 용어를 사용하는 컴퓨터 과학자의 한 예는 자동 메모에 대한 Conal Elliott의 블로그 게시물입니다 .

놀랍게도, 메모 작성은 게으른 기능적 언어로 간단하고 순전히 기능적으로 구현 될 수 있습니다.

동료 검토 문헌에는 많은 예가 있으며 수십 년 동안 사용되었습니다. 예를 들어 1995 년 “실제 AI 시스템에서 소프트웨어 엔지니어링 도구로 자동 메모 사용”이라는 이 백서는 5.2 절에서 매우 유사한 언어를 사용하여 오늘날 우리가 순수한 기능이라고 부르는 것을 설명합니다.

메모는 절차가 아닌 실제 기능에 대해서만 작동합니다. 즉, 함수의 결과가 입력 매개 변수에 의해 완전하고 결정 론적으로 지정되지 않은 경우 메모를 사용하면 잘못된 결과가 나타납니다. 시스템 전체에서 기능적 프로그래밍 스타일의 사용을 장려함으로써 성공적으로 메모 할 수있는 기능의 수가 증가합니다.

일부 명령형 언어에는 비슷한 관용구가 있습니다. 예를 들어, static constC ++ 의 변수는 값이 사용되기 전에 한 번만 초기화되며 절대 변경되지 않습니다.

그것은 당신이 어떻게하는지에 달려 있습니다.

일반적으로 사람들은 일종의 캐시 사전을 변경하여 메모하고 싶어합니다. 이것은 동시성에 대한 걱정, 캐시가 너무 커지는 것에 대한 걱정 등 불순한 돌연변이와 관련된 모든 문제가 있습니다.

그러나 불완전한 메모리 돌연변이없이 메모 할 수 있습니다. 하나 의 예가이 답변 에 있는데, 여기서 lengths인수를 통해 메모 된 값을 외부에서 추적합니다 .

에서 로버트 하비 제공된 링크 , 게으른 평가는 부작용을 방지하기 위해 사용된다.

IOcats-effect의 memoize 함수 와 같은 유형 의 컨텍스트에서 메모를 명시 적으로 부작용으로 표시하는 경우가 있습니다 .

이 마지막 목표는 때로는 목표가 돌연변이를 제거하는 것이 아니라 캡슐화하는 것입니다. 대부분의 기능 프로그래머는 불순물을 명시적이고 캡슐화하기에 "충분히 순수"하다고 생각합니다.

용어를 진정으로 순수한 함수와 구별하기를 원한다면 "변경 가능한 사전으로 기억된다"고 말하는 것으로 충분하다고 생각합니다. 이를 통해 사람들이 안전하게 사용하는 방법을 알 수 있습니다.

일반적으로, 목록을 반환하는 함수는 스토리지 할당이 필요하고 실패 할 수 있기 때문에 전혀 순수하지 않습니다 (예 : 순수하지 않은 예외를 throw하여). 값 형식이 있고 목록을 경계 크기 값 형식으로 나타낼 수있는 언어에는이 문제가 없을 수 있습니다. 이런 이유로, 당신의 모범은 아마도 순수하지 않을 것입니다.

일반적으로 memoization이 실패 할 경우없는 방식으로 수행 될 수있는 경우 (예 : memoized 결과를 위해 저장소를 정적으로 할당하고, 언어가 스레드를 허용하는 경우 이에 대한 액세스를 제어하기위한 내부 동기화) 이러한 기능을 고려하는 것이 합리적입니다. 순수한.

state monad를 사용하여 부작용없이 메모를 구현할 수 있습니다 .

[상태 모나드]는 기본적으로 함수 S => (S, A)입니다. 여기서 S는 상태를 나타내는 유형이고 A는 함수가 생성하는 결과 – Cats State 입니다.

귀하의 경우 상태는 메모 된 값이거나 아무것도 아닙니다 (예 : Haskell Maybe또는 Scala Option[A]). 메모 된 값이 있으면로 반환되고 A그렇지 않으면 A계산 된 상태와 결과로 계산됩니다.