通过ocaml中的参数名称和模式匹配进行绑定

Question

在OCaml中，我怎么都可以：

• 参数匹配模式
• 并将不匹配的参数绑定到名称吗？

在haskell中就像

f arg@{..} = some code using both arg and its fields

Answer 1

使用as。例如：

let f ((a, b) as original) =
  if a > b then
    (b, a)
  else
    original

或：

let g = function
| [] -> []
| (x :: _) as l -> x :: l