爲什麼我在標準ML的這段代碼中不斷收到錯誤？

Question

我正在學習標準ML，並且不斷收到此錯誤，我不知道爲什麼？

這裏是代碼和錯誤：

> fun in_list(element, list) = 
    if hd(list) = element then true 
    else val tempList = List.drop(list, 1); 
    in_list(element, tempList); 
# # Error-Expression expected but val was found 
Static Errors 

我知道必須有蹊蹺的是我想的語法。

Answer 1

您需要將val值包含在let..in..end塊中。

fun in_list(element, list) = 
    if hd(list) = element then true 
    else 
     let 
      val tempList = List.drop(list, 1) 
     in 
      in_list(element, tempList) 
     end 

此外，hd和drop不推薦分解列表。您應該使用模式匹配來代替。

fun in_list(element, x::xs) = 
    if x = element then true 
    else in_list(element, xs) 

有一個基本情況與空單丟失，您可以使用orelse更換if x = element then true ...。我留下他們作爲建議。