SML问题: Can I pass an exception as a parameter in a function?

Question

我可以在 sml 函数中将异常作为参数传递吗？

如果是这样，会不会是这样的？

foo(exc: exception) =
    ...

Answer 1

是的，你可以，但是类型是exn，不是exception:

- exception E;
exception E
- E;
val it = E(-) : exn
- exception Q;
exception Q
- fun f x e = if x > 0 then x else raise e;
val f = fn : int -> exn -> int
- f 1 E;
val it = 1 : int
- (f 0 E) handle E => 23 | Q => 49;
val it = 23 : int
- (f 0 Q) handle E => 23 | Q => 49;
val it = 49 : int

但是它是否对任何东西有用都是另一回事。