Có một nghịch đảo của toán tử Haskell $ không?

Question

Một câu hỏi nhanh, là có một nhà điều hành trong Haskell hoạt động như ký hiệu đô la nhưng ưu tiên cho phía bên tay trái. I E. thay vì

f (x 1) 

được viết như

f $ x 1 

Tôi muốn viết nó như

x 1 $ f 

Đây hoàn toàn là một điều phong cách. Tôi đang chạy một chuỗi các chức năng theo thứ tự và nó sẽ được tốt đẹp nếu tôi có thể viết chúng lại để viết cho phù hợp mà tôi đọc còn lại để viết. Nếu có một nhà điều hành cho điều này?

[cập nhật] Một vài người đã hỏi nếu tôi không thể định nghĩa của riêng mình. Trong câu trả lời, tôi muốn kiểm tra không có một nhà điều hành hiện có trước khi tôi phát minh lại bánh xe.

Answer 1

Tính đến GHC 7.10 (base 4.8.0.0), & là trong Data.Function: https://hackage.haskell.org/package/base-4.8.0.0/docs/Data-Function.html

Answer 2

Tôi không biết, cho dù có một nhà điều hành standart, nhưng những gì ngăn cản bạn bằng văn bản của riêng bạn? Này hoạt động trong ghci:

Prelude> let a $> b = b a 
Prelude> 1 $> (+2) 
3 
Prelude> sum [1, 2] $> (+2) 
5 
Prelude> map (+2) [1, 2] $> map (+3) 
[6,7] 

CẬP NHẬT: tìm kiếm trên hoogle cho a -> (a -> b) -> b (nó là loại toán tử này) tìm thấy điều gì hữu ích.

Answer 3

Bạn không thể chỉ định nghĩa lại $.

let ($) x f = f x 

Hoặc chỉ cần chọn một nhà điều hành khác nhau, như $$

Answer 4

Tôi không biết về bất kỳ phiên bản tiêu chuẩn, nhưng tôi đã nhìn thấy (#) được sử dụng cho mục đích đó trong một vài nơi. Một trong những đặc biệt mà đến với tâm là HOC, trong đó sử dụng nó trong một thành ngữ như:

someObject # someMessage param1 param2 

tôi dường như nhớ lại thấy khác thư viện "hướng đối tượng" sử dụng # điều hành trong cùng một cách, nhưng không thể nhớ bao nhiêu hoặc cái nào.

Answer 5

combinator này được định nghĩa (lưỡi trong má) trong data-aviary gói:

Prelude Data.Aviary.BirdsInter> 1 `thrush` (+2) 
Loading package data-aviary-0.2.3 ... linking ... done. 
3 

Mặc dù thực tế sử dụng gói phần mềm đó là một điều khá ngớ ngẩn để làm, đọc nguồn là niềm vui, và tiết lộ rằng this combinator được hình thành thông qua câu thần chú của flip id (hoặc, trong cách nói của chim, cardinal idiot).

Answer 6

Trong Haskell bạn có thể sử dụng flip để thay đổi thứ tự tranh cãi của bất kỳ chức năng nhị phân hoặc điều hành:

ghci> let (|>) = flip ($) 
ghci> 3 |> (+4) |> (*6) 
42