하스켈에서 스트림 퓨전은 어떻게 작동하나요?

Question

Haskell에서 스트림 융합의 대상인 자체 맵 함수를 작성할 수 있습니까?

왜 재귀 적 반복 목록이 융합의 대상이되지 않습니까? 그건 완전히 하스켈 패턴 일치의 좋은 표현을 죽이고 : foo (x:xx) ...!

Prelude 루프 기능이 융합 되었습니까?

Answer 1

하스켈에서 스트림 융합은 다시 쓰기 규칙 (see the ghc documentation for more info)을 사용하여 수행됩니다. 이러한 규칙은 RULESpragma를 사용하여 코드에서 지정할 수있는 규칙입니다.

rewirte 규칙의 기본 아이디어는

{-# RULES 
    "map'/map'" forall f g xs. map' f (map' g xs) = map' (f . g) xs 
    #-} 

같은 것을 할 수있는, 당신은 당신이 map'로 map의 자신의 버전을 정의 된 경우 코드는 예를 들어, 컴파일시에 다시 쓸 수있는 방법의 집합을 지정하는 것이있다

여기에는 map'/map'이라는 다시 쓰기 규칙이 도입되었습니다. 이 규칙은 기능 번호 f의 모든 매핑을 다시 g의 일부 xs에 매핑하여이 x에 대해 (f . g)의 단일 매핑으로 다시 작성합니다.

다시 쓰기 규칙을 사용하는 데는 여러 가지 하위 규칙이 있습니다. 예를 들어 컴파일러에서 규칙이 적용되는 단계를 지정할 수 있으며 컴파일러는 해당 규칙이 올바른지 확인하는 방법이 없습니다.

다시 쓰기 결과는 여전히 형식이 검사되지만, 다시 작성 규칙에서 의미 상으로는 잘못되었을 경우 이는 순전히 사용자에게 있습니다.