我应该如何理解在OCaml中的'^ _ as s ="abc"在s ^"def"中？

Question

let _ as s = "abc" in s ^ "def"

那怎么理解呢？

---

我想这是某种let pattern = expression事情？

首先,什么是意义/目的/逻辑let pattern = expression？

而且,在pattern matching,我知道有pattern as identifier用处,是let _ as s = "abc" in s ^ "def",_模式,但在后面as,它是一个表达s = "abc" in s ^ "def",而不是identifier,对吗？

编辑:

最后,怎么样:这(fun (1 | 2) as i -> i + 1) 2是正确的吗？

我知道这是错的,但为什么呢？fun pattern -> expression是允许的,对吗？

---

我真的迷路了.

Answer 1

分组是let (_ as s) = "abc"- 这只是一种令人费解的说法let s = "abc",因为前面as的通配符模式_几乎没用.