F＃Lambda簽名

Question

我正在閱讀Chris Smith編程的F＃，現在試圖找出F＃，當我遇到Lambadas時。下面是其中一個例子拉姆達

let generatePowerOfFunc base = (fun exponent -> base ** exponent);; 

我得到它需要的東西，並返回一個函數，但我不明白的是這個函數的簽名是val generatePowerOfFunc : float -> float -> float

如何它有三個花車而不是兩個？而當有這種方法

let powerOfTwo = generatePowerOfFunc 2.0;;

它只有2個漂浮val powerOfTwo : (float -> float)

也許我沒有得到整個類型簽名交易。任何幫助將非常感激。感謝

Answer 1

除了kongo2002：

在->鏈中的最後一個項目是return type，不另一種說法。第一個接受兩個浮點數並返回一個浮點數，第二個接受一個浮點數並返回一個浮點數。

這樣做，而不是像(float, float) : float這樣的想法是，你可以使用一個叫做「currying」的概念。 generatePowerOfFunc的類型爲float -> float -> float，相當於float -> (float -> float)，所以我們可以給它一個浮點數並返回一個float -> float類型的函數（我們可以給它另一個浮點數並返回一個浮點數）。

這意味着當您致電generatePowerOfFunc 2. 4.時，您應用兩次。一旦申請2.，並且一旦申請4.。

Answer 2

功能generatePowerOfFunc採用float類型的兩個參數，並返回float值：

val generatePowerOfFunc : float -> float -> float 
//      ^^^^^^^^^^^^^^ 
//      arguments 
//           ^^^^^ 
//           return value 

功能powerOfTwo就像是一個局部函數的應用程序，只需要一個float參數（指數），並返回一個float 。