하스켈 : 같은 줄에서 여러 번 함수를 호출

Question

나는 다음과 같은

같은 기능이있는 경우

f x = if g x /= Nothing then g x else False 

는 f에 두 번 호출 또는 하스켈 '캐시'첫 번째 인스턴스 후 g x의 결과를 수행 할 수 g합니다 나중에 같은 줄에서 사용할 수 있습니까? 나는 몇몇 코드를 최적화하려고 노력하고 있으며, 위의 스타일의 함수가 계산 상으로 비싸기를 두 번 원하는지 모르겠다.

미리 감사드립니다.

Answer 1

하스켈 구현은 함수 호출을 메모하지 않습니다.

하스켈 컴파일러 (예 : GHC)는 do common subexpression eliminiation이지만 제한 사항이 있습니다.

의심스러운 경우 결과를 공유하십시오.

f x = if g' /= Nothing then g' else False 
    where g' = g x 

g '는 부울과 어쩌면 둘 다 사용할 수 없으므로 유형 오류가 있습니다.

f x = case g x of 
      Nothing -> .. 
      Just _ -> .. 

가 계산하고 하나 개의 지점에서 결과를 공유 :

그러나 더 나은

는 다음과 같이 작성.