具有運算符作為參數的Haskell函數應用程序語法

Question

運算符是否可以成為前面的函數參數而不將其括在Haskell的括號中？

這些定義將不會解析：

let x f = f .
let x f = f $ .

似乎運算符成為前一個函數的參數的唯一方法是將其括在這樣的括號中：

   let x f = f (.)

如果這是真的，那么對我來說，掌握這樣的表達式會容易得多：

 e f <?> g h

Answer 1

正如@RobinGreen指出的那樣，您必須將運算符括在括號中才能將其用作參數。 這樣做的原因是因為將其括在括號中使編譯器將其視為前綴函數而不是中綴函數。 因此以下兩個是等效的：

1 + 2
(+) 1 2
(1 +) 2   -- Partially applied operator is still an operator
          -- Note: this is not the same as (+ 1) 2 in general
          -- because argument order matters.  It would be
          -- silly to say that (f .) g is the same as (. f) g

本質上，括號使中綴運算符成為普通的前綴函數，可以像其他任何前綴函數一樣傳遞。

Answer 2

是的，您的猜測是正確的。 如果不將運算符括在括號中，則不能將其視為參數。