有沒有辦法在SML/NJ中獲得二元運算符的Curried形式？

Question

例如，而不是

- op =; 
val it = fn : ''a * ''a -> bool 

我寧願有

- op =; 
val it = fn : ''a -> ''a -> bool 

用於

val x = getX() 
val l = getList() 
val l' = if List.exists ((op =) x) l then l else x::l 

很顯然，我可以做到這一點對我自己的，例如，

val l' = if List.exists (fn y => x = y) l then l else x::l 

但我想確保我不會錯過更優雅的方式。

Answer 1

你可以寫咖喱功能的輔助函數：

fun curry f x y = f (x, y) 

然後，你可以這樣做

val curried_equals = curry (op =) 
val l' = if List.exists (curried_equals x) l then l else x::l 

Answer 2

我對SML的知識很少，但是我看了Ullman的書，找不到一個簡單的方法將接受元組的函數轉換爲curried函數。他們有兩個不同的簽名，並不直接相互兼容。我想你會不得不推出自己的。

或切換到Haskell。

編輯：我想過了，現在知道爲什麼一個是不一樣的。在SML中，幾乎所有用於實際接受一個參數的函數。恰恰相反，大多數情況下，你實際上是通過一個元組來傳遞一個元組。不過，一個元組是一個單一的值，並被這個函數處理。你不能將這樣的函數傳遞給部分元組。它可以是整個元組，也可以不是。

根據定義，任何接受多個參數的函數都是curried。當你定義一個接受多個參數的函數（而不是一個具有多個元素的元組）時，你可以部分地應用它並使用它的返回值作爲另一個函數的參數。