[haskell] Haskell 구성 (.) 대 F #의 파이프 전달 연산자 (|>)

나는 약간 투기 적이다 …

문화 : 나는 |>F # “문화”에서 중요한 연산자 라고 생각합니다 . 그리고 아마도 .Haskell의 경우 와 유사 합니다. F #에는 함수 구성 연산자가 <<있지만 F # 커뮤니티 는 Haskell 커뮤니티보다 포인트없는 스타일을 덜 사용하는 경향이 있다고 생각합니다 .

언어 차이 : 비교할 두 언어에 대해 충분히 알지 못하지만 let-bindings를 일반화하는 규칙은 이것에 영향을 미칠만큼 충분히 다를 수 있습니다. 예를 들어 F #에서 가끔

let f = exp

컴파일되지 않으며 명시적인 eta-conversion이 필요합니다.

let f x = (exp) x   // or x |> exp

컴파일 할 수 있습니다. 이것은 또한 사람들을 무점 / 구성 스타일에서 벗어나 파이프 라이닝 스타일로 유도합니다. 또한 F # 유형 추론에는 파이프 라이닝이 필요한 경우가 있으므로 알려진 유형이 왼쪽에 표시됩니다 ( 여기 참조 ).

(개인적으로는 포인트없는 스타일을 읽을 수 없다고 생각하지만 익숙해지기 전까지는 새롭거나 다른 모든 것을 읽을 수 없다고 생각합니다.)

두 언어 모두 잠재적으로 실행 가능하다고 생각하며 역사 / 문화 / 사고가 각 커뮤니티가 다른 “유인 자”에 정착 한 이유를 정의 할 수 있습니다.

답변

List.map (fun x -> x.Value) xs

xs |> List.map (fun x -> x.Value)

let (>>) f g x = g (f x)
let (|>) x f = f x

euler_1 = ( [3,6..999] ++ [5,10..999] ).unique.sum

ghci> :m + Control.Category
ghci> let f = (+2) ; g = (*3) in map ($1) [f >>> g, f <<< g]
[9,5]