处理 ML 中的异常

Question

大家，我试图了解异常在 ML 中是如何工作的，但是我遇到了奇怪的错误，并且我无法弄清楚出了什么问题：

exception Factorial 

fun checked_factorial n =
  if n < 0 then
    raise Factorial 
  else n;

fun factorial_driver () =
    checked_factorial(~4)
  handle
    Factorial => print "Out of range.";

可能出了什么问题？预先感谢您的任何帮助。

Answer 1

您需要确保 Factorial_driver 具有一致的类型。非例外情况返回 int，因此 ML 推断该函数的类型为 unit ->; int，但特殊情况（即 print 表达式）返回 unit，而不是 int。

一般来说，您基本上需要在所有情况下返回相同类型的值。