OCaml警告27「无害未使用变量」在哪些场景下有用？

先明确下警告27的官方定义：

27 无害未使用变量：未使用的变量，未通过let或as绑定，且以下划线（_）开头的变量除外。该警告可通过jbuilder --dev开启。

你提到在写代码时触发这个警告会带来困扰，比如忽略函数参数、模式匹配里未用到的loc变量，而且不想用下划线前缀或_来抑制警告——这点我完全能理解，毕竟破坏命名一致性和丢失语义信息确实不爽。不过这个警告存在的价值，主要体现在这些场景：

• 揪出拼写错误与逻辑疏漏
  这是最核心的用途：很多时候我们本来打算使用某个变量，结果不小心写错了名字，或者重构代码后忘了更新变量引用。警告27会立刻跳出来提醒你，避免因为这种低级错误导致逻辑bug。比如你写了let calculate a b = a * a，本来想写a * b，这个警告会告诉你b未使用，帮你快速定位问题。

• 清理冗余变量绑定
  在复杂的模式匹配、嵌套函数或者解构赋值里，很容易不小心多绑定了一个用不到的变量。警告27能帮你把这些冗余绑定找出来，让代码更简洁，也减少后续维护时的困惑——其他开发者读代码时，不会盯着一个没被使用的变量疑惑“这是不是有什么隐藏逻辑我没看懂？”

• 辅助代码重构与迭代
  当你修改代码逻辑，比如移除了某个变量的使用场景，但忘了删掉对应的绑定，警告27会及时指出。在大型项目的长期迭代中，这能有效防止代码积累无用的绑定，保持代码库的整洁性。

• 明确代码意图（团队协作友好）
  虽然你觉得下划线前缀不美观，但这个警告其实是在强迫开发者明确表达意图：如果一个变量被绑定但没使用，要么是疏忽（需要修正），要么是故意忽略（需要用_或_xxx标记，告诉读者“我知道这个变量存在，但我不需要它”）。这在团队协作里很重要，能减少歧义，避免大家对代码意图产生误解。

针对你提到的困扰，其实有个折中方案：你可以局部禁用这个警告，既保留语义化命名，又不会被警告打扰。比如在特定的模式匹配表达式上添加属性：

let rec eval = function [@ocaml.warning "-27"]
| `Plus (loc, a, b) -> eval a + eval b
| `Minus (loc, a, b) -> eval a - eval b
| `Star (loc, a, b) -> eval a * eval b
| `Slash (loc, a, b) -> let denom = eval b in if denom = 0 then error loc "division by zero" else eval a / denom
| `Int (loc, x) -> x

或者在文件顶部添加[@@@ocaml.warning "-27"]来全局禁用该文件的警告27，根据你的需求选择就好。

内容的提问来源于stack exchange，提问作者Martin Jambon