簡單的SML代碼錯誤

Question

我剛剛開始學習SML，並仍在理解其錯誤消息。嘗試輸入下面

val rec : real->real = fn 0.0 => 0.0 | n:real => 1.0/n; 

我得到以下錯誤的函數定義時

：

stdIn:25.9-25.17 Error: syntax error: deleting COLON ID ARROW 
stdIn:25.24-25.33 Error: syntax error: deleting FN REAL DARROW 
stdIn:25.38 Error: syntax error found at BAR 

能有人指出我在做什麼錯？

謝謝。

Answer 1

你在你的代碼的兩個錯誤：

1. 之間val rec和類型標註應該是你定義的值的名稱。
2. 您不能在real s上使用模式匹配。由於real s不精確，因此它們不是平等類型，所以也不能在其上使用=。您需要使用Real.==比較實數是否相等（或者更好：不要比較它們是否相等，而是將它們與某個增量相比較）。