是什麼導致REPL打印函數簽名而不是函數結果？

Question

什麼導致REPL打印函數簽名而不是函數結果？

我試圖執行以下行：

let email = Email "abc.com";; 
email |> sendMessage |> ignore;; 

的代碼如下

type PhoneNumber = 
    { CountryCode:int 
     Number:string } 

type ContactMethod = 
    | Email of string 
    | PhoneNumber of PhoneNumber 

let sendMessage contact = function 
    | Email _ -> printf "Sending message via email" 
    | PhoneNumber phone -> printf "Sending message via phone" 

// c. Create two values, one for the email address case and 
// one for the phone number case, and pass them to sendMessage. 
let email = Email "abc.com";; 
email |> sendMessage |> ignore;; 

我得到以下結果：

type PhoneNumber = 
    {CountryCode: int; 
    Number: string;} 
type ContactMethod = 
    | Email of string 
    | PhoneNumber of PhoneNumber 
val sendMessage : contact:'a -> _arg1:ContactMethod -> unit 
val email : ContactMethod = Email "abc.com" 

> 
val it : unit =() 

我希望這樣的事情：

「通過電子郵件發送消息」

Answer 1

你sendMessage功能需要參數：無限制型'a的一個名爲contact和匿名（_arg1在簽名）ContactMethod。

當您提供email至sendMessage時，您會收到一個函數，該函數需要ContactMethod並返回unit。然後您可以ignore這個功能。

要麼刪除contact參數（更地道）：

let sendMessage = function 
    | Email _ -> printf "Sending message via email" 
    | PhoneNumber phone -> printf "Sending message via phone" 

或匹配就可以了（可能更容易理解）：現在

let sendMessage contact = 
    match contact with 
    | Email _ -> printf "Sending message via email" 
    | PhoneNumber phone -> printf "Sending message via phone" 

，sendMessage是ContactMethod -> unit類型的和你不不再需要ignore了。