điều hành ứng dụng chức năng của Haskell ($) sử dụng

Question

Tôi đang đọc một tác phẩm của Bartosz Milewski trong đó ông định nghĩa các chức năng sau:

instance Applicative Chan where 
    pure x = Chan (repeat x) 
    (Chan fs) <*> (Chan xs) = Chan (zipWith ($) fs xs) 

Tại sao là ứng dụng hàm operator trong ngoặc? Tôi hiểu điều này thường được thực hiện để sử dụng chức năng infix ở dạng ký hiệu tiền tố, nhưng tôi không hiểu tại sao, trong trường hợp này, hàm không thể đơn giản chỉ được biểu thị là Chan (zipWith $ fs xs) và tự hỏi sự khác biệt giữa hai là.

(nếu bạn vẫn cần bối cảnh, tham khảo các article)

Answer 1

Trong trường hợp này, $ đang được thông qua vào-zipWith. Nó giống như viết

zipWith (\ f x -> f x) fs xs 

Nếu không có dấu ngoặc đơn, nó đã có tương đương với

zipWith (fs xs) 

đó sẽ không typecheck.

Toán tử trong dấu ngoặc đơn hoạt động chính xác như số nhận dạng thông thường. Với định nghĩa sau đây:

apply = ($) 

mã có thể trông giống như

zipWith apply fs xs