如何处理 ML 中除以零的错误

Question

我是机器学习新手。

我需要定义一个以条件表达式作为参数的函数，问题是表达式是否像"10 div 0 = 0" 这样无效。我该如何处理？

例如函数定义如下：foo exp1 = if (exp1) then ... else...，而exp1是"10 div 0 = 0"，这个除法错误如何处理。

Answer 1

您好像想问一下SML中的异常处理机制。

当您调用10 div 0 时，SML 基础库中的div 函数会引发 Div 异常。这取决于您是否需要该值来处理异常。在这种情况下，您可以返回 true/false 或选项类型：

(* only catch exception, ignore value *)
fun div_check (x, y) = (
  ignore (x div y);
  false
) handle Div => true

(* catch exception and return option value *)
fun div_check2 (x, y) = (
  SOME (x div y)
) handle Div => NONE

更新：

在这种情况下编译器没有引发Div 异常真的很奇怪。我建议您自己定义一个自定义 div 函数并引发/处理异常：

exception DivByZero;

(* custom div function: raise DivByZero if y is zero *)
infix my_div;
fun x my_div y =
  if y=0 then raise DivByZero else x div y

fun div_check (x, y) = (
  ignore (x my_div y);
  false
) handle DivByZero => true

fun div_check2 (x, y) = (
  SOME (x my_div y)
) handle DivByZero => NONE