OCaml比赛速记

Question

当我第一次查看OCaml中function关键字的用法时，我得到的印象是消除模式匹配的match x with是语法糖。

但是，我看到两者之间存在签名差异，如下例所示。 您希望在什么情况下使用function示例？

type e = Foo | Bar

let eval1 exp =
match exp with
| Foo -> "Foo"
| Bar -> "Bar"

let eval2 exp = function
| Foo -> "Foo"
| Bar -> "Bar"

第一个函数的签名为val eval1 : e -> bytes = <fun>

第二个函数的签名为val eval2 : 'a -> e -> bytes = <fun>

Answer 1

在eval2 ，使用function ，匹配的参数是隐式的。 exp在这里未使用，应该给您一个编译器警告（除非您已将其关闭）。 如果删除exp参数，则签名应相同。

换句话说， function ...不是语法糖，仅用于match exp with ... ，而是出于fun exp -> match exp with ...