Currying ra lệnh trong Haskell

Question

Có một ký hiệu thanh lịch cho Currying các đối số của một chức năng ra khỏi trật tự trong Haskell?

Ví dụ, nếu bạn muốn chia 2 bởi tất cả các yếu tố của một danh sách, bạn có thể viết

map ((/) 2) [1,2,3,4,5] 

Tuy nhiên để phân chia tất cả các yếu tố của một danh sách có vẻ như bạn cần phải xác định một chức năng ẩn danh

map (\x -> x/2) [1,2,3,4,5] 

Chức năng ẩn danh nhanh chóng trở nên khó sử dụng trong các trường hợp phức tạp hơn. Tôi biết rằng trong trường hợp này bản đồ ((*) 0.5) [1,2,3,4,5] sẽ hoạt động tốt, nhưng tôi quan tâm để biết nếu Haskell có một cách thanh lịch hơn currying đối số của một chức năng ra khỏi trật tự?

Answer 1

Trong trường hợp đặc biệt này:

Prelude> map (/2) [1..5] 
[0.5,1.0,1.5,2.0,2.5] 

Không chỉ bạn có thể sử dụng một nhà điều hành ghi như chức năng tiền tố bình thường, bạn cũng có thể phần nào áp dụng nó ở dạng trung tố. Tương tự như vậy, ví dụ đầu tiên tốt hơn sẽ được viết là map (2/) [1..5]

Ngoài ra, có flip không hoàn toàn thanh lịch, nhưng vẫn là tùy chọn tốt nhất có sẵn cho các chức năng thông thường (khi bạn không muốn biến chúng thành nội dung thông qua backticks) :

Prelude> let div' = (/) 
Prelude> div' 2 1 
2.0 
Prelude> flip div' 2 1 
0.5 

Answer 2

Đối với một thứ hai của bạn, lambda là không cần thiết, chỉ cần sử dụng như:

map (/2) [1..5] 

dạng (/ 2) đơn giản có nghĩa, mà bạn muốn truy cập vào param thứ hai của một nhà điều hành. Cũng có thể với đối số đầu tiên (2/). Điều này được gọi là một phần , và là một hack thực sự hữu ích, không chỉ trong golf mã. Bạn cũng có thể sử dụng nó trong các chức năng tiền tố, nếu bạn sử dụng chúng Infix:

map (`div` 2) [1..5] 

Trong những trường hợp khó khăn hơn, như 3 hoặc nhiều đối số, bạn phải sử dụng lambdas, khi nó trở nên hầu hết thời gian dễ đọc hơn.

Answer 3

Tôi nghĩ bạn đang tìm kiếm giải pháp tổng quát, như sơ đồ cut. Đúng?

Có chức năng flip rằng đảo ngược 2 đối số đầu tiên của hàm. Có thể có các chức năng khác đang thực hiện một nhiệm vụ tương tự (tôi không quá giỏi ở Haskell ...).

Answer 4

tôi gặp phải một very similar issue bản thân mình thời gian gần đây, và tôi đã không thể tìm thấy một giải pháp thanh lịch khác vì sử dụng một hàm helper để làm điều đó:

dbfunc f b c = (\a -> liftIO $ f a b c) 
deleteAllRows = do 
    ask >>= dbfunc run "delete from t1" [] 

Ít nhất mô hình này là phổ biến đủ trong HDBC rằng dbfunc có thể tái sử dụng.