「as」和冒號指定類型之間的區別？

Question

我最初認爲「as」和冒號操作符意味着完全相同的事情，爲一個值或函數指定一個類型。但我實際上發現不一致：

type Uppercase = string -> string 
let uppercase:Uppercase = fun n -> 
    //code 

這工作正常。但是，如果我改變冒號爲「as」

type Uppercase = string -> string 
let uppercase as Uppercase = fun n -> 
    //code 

它打破了，說它不知道什麼類型「n」是。當然，我可以通過這樣做來解決這個問題

type Uppercase = string -> string 
let uppercase as Uppercase = fun (n:string) -> 
    //code 

它又開心了。所以，我的問題是，爲什麼「as」與冒號不同？爲什麼F＃在使用「as」時無法進行類型推斷？謝謝。

Answer 1

as用於命名模式匹配的結果，例如，

let (a,b) as t = (1,2) 

將結合a爲1，b至2和t整個對。因此

let uppercase as Uppercase = fun n -> ... 

結合的名稱uppercase和Uppercase的功能。在這個函數中，沒有指定n的類型，所以你得到類型錯誤。

as因此與顯式類型聲明有很大不同，不能互換使用。