기능의 구성 (\ A B -> F (g가) (g 나))과 관련된 일반적인 패턴 F의

Question

구성과 g

f :. g = \a b -> f (g a) (g b) 

내가 내 코드에서 매우 자주 찾을 패턴처럼 보인다. 단항 함수 구성과 유사합니다. f 만 이진이며, f에 전달되기 전에 두 인수에 모두 g을 적용해야합니다. 나는 지점이없는 형식이 변환 lambdabot을 물어 보면

, 나는 차라리 내 코드가없는 것 이상한 주문

을 얻을, 그래서 난 그냥 명시 적으로 패턴을 작성 결국 .

일반적으로이 상황에서 연결자를 작성하는 방법은 있습니까? 아니면이 상황에서 자신을 찾는데 이상한가요?

내가 필요할 때 여기 물어 보지 않을 생각 이었기 때문에 지금 당장 이것을 사용할 때의 실제 예가 없지만 유클리드 거리 수식을 매우 깔끔하게 쓰는 것을 상상할 수 있습니다. 과 같이 :

distance = sqrt . (+) :. (^2) 

Answer 1

이 기능은 Data.Function 모듈 on라고합니다.

흔히 sqrt . (+) `on` (^2)과 같이 중위 부호로 사용됩니다.

Answer 2

포인트 프리 스타일로 쓰지 마십시오. 이것은 point-free가 종종 읽기 쉽지 않다는 사실의 예입니다.

그냥 thusly 히 그것을 정의 :

(:.) :: (b -> b -> c) -> (a -> b) -> (a -> a -> c) 
infixr 9 (:.) 
f :. g x y = f (g x) (g y)