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" 

如果你想说，"Do this"应该返回的参数是1时，你可以这样做：

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

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