是“动态的” OCaml 中可以进行模式匹配吗？

Question

那么在 Ocaml 中你可以在编译时做到这一点：

let handle item = match item with
   | 1 -> "Do this";
   | 2 -> "Do that";
   | n -> "Do Nothing";
;;

有没有办法在运行时实现它？就像某种责任链模式？

Answer 1

是的，有这样的模式。

假设您正在处理一个必须接受整数并返回字符串的函数，并且默认情况下它将为每个整数返回“Do Nothing”：

let func : (int -> string) ref = ref (fun _ -> "Do nothing") 

let _ = (!func) 1
- : string = "Do nothing"

如果您想说，你可以这样做：

let () = 
  let old = !func in 
  func := (function 1 -> "Do this" | n -> old n)

let _ = (!func) 1
- : string = "Do this"