Haskell：獲得無括號的前綴運算符

Question

前綴運算符很好的一個重要原因是它們可以避免使用括號，因此+ - 10 1 2明確表示(10 - 1) + 2。如果parens被丟棄，中綴表達式變得模糊不清，你可以通過具有某些優先規則來消除這種情況，但這很麻煩，等等，等等等等。

我想使Haskell使用前綴操作，但我所見過的唯一方法是通過消除括號來實現這種收益。

Prelude> (-) 10 1 

使用兩個parens。

當您嘗試撰寫功能，因爲

Prelude> (+) (-) 10 1 2 

產生錯誤它會變得更糟，我相信，因爲它試圖喂減法運算進入加操作，而不是首先評估負，然後feeding- - 現在你需要更多的parens！

有沒有辦法讓Haskell智能地評估前綴符號？我想，如果我做了的功能，如

Prelude> let p x y = x+y 
Prelude> let m x y = x-y 

我會恢復較少括號初始收益，但功能成分仍然是一個問題。如果有一種巧妙的方法可以將它與$表示法聯繫起來，使其至少接近我的意願，我就沒有看到它。如果有一個完全不同的戰略可用，我會很高興聽到它。

我試圖重現什麼公認的答案在這裏做的：

Haskell: get rid of parentheses in liftM2

但在這兩種前奏控制檯和一個Haskell腳本，導入命令沒有工作。此外，這是Haskell比我能夠理解的更先進，所以我希望無論如何可能還有其他更簡單的解決方案，然後再進行繁重的調查來調查此類操作。

Answer 1

當您嘗試撰寫功能，因爲

Prelude> (+) (-) 10 1 2 

產生錯誤它會變得更糟，我相信，因爲它是 試圖喂減法運算進入加操作而 不是第一次評估減然後餵食 - 所以現在你甚至需要更多parens！

在這裏，你提出了一個關鍵問題，它是一個阻礙你在Haskell中獲得你想要的東西的攔截器。

您正在討論的前綴表示法對於基本的算術運算（更一般地說，對於任何靜態已知矩陣的函數集）都是明確的。但你必須知道，+和-每個接受+ - 10 1 2的兩個參數，明確解析爲+(-(10, 1), 2)（其中我有明確的參數列表來表示每個調用）。

但忽略+和-的具體含義，以第二個函數作爲參數的第一個函數是一個完全合理的解釋！對於Haskell而不是算術，我們需要支持更高階的函數，如map。你會想not not x必須變成not(not(x))，但map not x必須變成map(not, x)。

如果我有f g x怎麼辦？這應該如何工作？我是否需要知道f和g是綁定的，以便我知道它是類似not not x還是類似map not x這樣的情況，只知道如何解析調用結構？即使假設我有所有可用的代碼進行檢查，如果我不知道任何表達式的調用結構是什麼，我該如何弄清楚什麼是綁定的？

你最終需要去創造​​歧義的語法像map (not) x，包裹在括號not禁用它表現得像一個元數-1功能（很像Haskell的實際語法可以讓你用小括號括運營商禁止自己的能力的能力像中綴運算符一樣）。或者使用所有Haskell函數都是arity-1的事實，但是您必須編寫(map not) x並且您的算術示例必須看起來像(+ ((- 10) 1)) 2。回到括號！

事實是，你建議的前綴記號不是明確。 Haskell的正常函數語法（沒有運算符）是;規則是你總是將foo bar baz qux etc這樣的術語序列解釋爲((((foo) bar) baz) qux) etc（其中每個foo，bar等可以是括號中的標識符或子項）。你使用圓括號不要明確規定那個規則，但是要分組的條件強加一個不同的調用結構比那個硬性規則會給你的。

綴運算符做複雜化這條規則，他們是曖昧不知道一些關於所涉及的運營商（他們的優先級和結合，它不像元數與名不是實際值稱爲關聯）。這些併發症是爲了使代碼更易於理解而添加的。特別是對於大多數程序員已經熟悉的算術慣例（+比*等優先級低）。

如果你不喜歡記憶符的優先級和結合性（不是不合理位置）的額外負擔，你是免費使用的符號是明確的，而不需要優先規則，但它有是Haskell的前綴表示法，而不是波蘭語前綴表示法。不管你使用的是什麼語法，在任何語言中，你總是會使用類似括號的東西來表示分組，你所需要的調用結構與標準約定所表示的不同。所以：

(+) ((-) 10 1) 2 

或者：

plus (minus 10 1) 2 

如果定義非運營商的函數名。