F# 中 OCaml 的 set_signal 等效项

Question

我搜索了一下，找不到任何东西。我正在将OCaml chess program“翻译”为 F#，既可以作为了解国际象棋表示如何工作的工具，也可以将 F# 的非 OO 做事方式内化。

这些代码让我很难过

set_signal sigint (Signal_handle (fun _ -> raise Interrupt));

和

set_signal sigint Signal_ignore;

中断是前面定义的异常。现在我查看了set_signal 的作用（here），但我无法弄清楚它在这里的目的是什么，或者根本不知道sigint 是如何定义的。如何在 F# 中复制或模仿这种行为。

如果您想在上下文中查看它，它位于 OCaml 源代码中的第 532 行附近。这是有问题的方法：

let alpha_beta_deepening pos interval = 
    del_timer ();
    let current_best = ref (alpha_beta_search pos 2) in (* alpha_beta_seach _ 2   can only return legal moves *)
    ((try 
        set_signal sigint (Signal_handle (fun _ -> raise Interrupt));
        set_timer interval;
        let rec loop i = 
            if i > max_depth then () else
            let tmp = alpha_beta_search pos i in
            current_best := tmp;
            if (fst tmp) >=  win (* we can checkmate *)
            || (fst tmp) <= -win (* we get checkmated anyway, deny the opponent extra time to think *)
                then () else loop (i+1) 
        in loop 3;
        set_signal sigint Signal_ignore;
        del_timer ();
    with Interrupt -> ());
    set_signal sigint Signal_ignore;
    del_timer ();
    !current_best)

Answer 1

这就是命名空间的坏处，很难知道事情是从哪里来的。

所以，首先，sigint 在Sys 模块中定义：

val sigint : int

  Interactive interrupt (ctrl-C)

那么，什么

 set_signal sigint (Signal_handle (fun _ -> raise Interrupt));

和

 set_signal sigint Signal_ignore;

做吗？

他们只是对系统说（set_signal 向系统传达他应该对特定信号采取什么行为）当它捕获 ctrl-C 时，在第一种情况下它会引发 Interrupt，在第二种情况下万一它什么也不做。

现在您对它的含义有了更好的理解，我认为在 F# 中实现它很容易，不是吗？ ;-)

例如，您可以查看this（查看 OCaml 和 F# 代码）