OCaml 中实现 Guarded Methods 的技巧
Guarded Methods in OCaml
在 Java 或 OCaml 等静态类型语言中，类型约束通常只能作用于整个类，导致像 flatten 这样仅针对特定场景的方法难以优雅实现。虽然 Kotlin 提供了扩展方法，但这往往需要跳出类体定义，破坏了面向对象的消息传递机制。本文探讨了 Guarded Methods 的概念，即仅对特定方法施加类型约束，并展示了如何在 OCaml 中利用 type equality witness 和 GADT 技术来编码这一特性。通过引入 ('a, 'b list) eq 这样的证据参数，我们成功在类内部实现了受约束的 flatten 和 sum 方法，既保持了封装性，又实现了精细的类型控制。
Guarded methods 使得我们能够为特定方法附加约束，这意味着只有当接收者满足这些约束时，这些方法才能被调用。
- spankalee
今天看到这篇挺有意思的。
我正在开发一门新语言，就在几天前，当我试图收紧相等性语义以使其更接近 Swift 时，guard methods（守卫方法）这个概念就出现了。
像 Array.contains() 这样的功能，只有当元素类型实现了 Equatable 接口时才能工作，所以它应该是一个守卫方法。大概长这样：
class Array<T> {
contains(value: T): boolean where T extends Equatable { ... }
}
或者可能是对 `this` 类型的约束，类似 TypeScript 的风格：
class Array<T> {
contains(this: Array<T extends Equatable>, value: T): boolean { ... }
}
https://github.com/elematic/zena/blob/8d77f2b36001078f4d5054...
- msdz
文章不错，但我不太理解作者为什么对静态函数如此排斥。
> 此外，这破坏了向实例发送消息的系统化方法（这通常被视为面向对象编程的主要优势之一）。
这仅仅是因为“一旦类/方法/实现太多，代码就会变成意大利面”吗？反之，一个带有约束（即某种不同类型）的非静态方法（或者将方法移出类本身的方案）难道不会更令人困惑吗？
- wavemode
> 虽然守卫方法看似必要，但不幸的是，我不知道有任何主流语言允许定义它们。
C++ 就有这个特性。当你定义一个模板类时，可以使用 SFINAE（或者在现代 C++ 中使用 concepts）来确保只有当模板参数满足特定要求时，某些方法才存在。
（不过即使这样通常也是不必要的——对于像你的 `flatten` 这样的例子，你可以直接无限制地定义它。模板类的方法是惰性类型检查的——换句话说，除非被调用，否则不需要成功通过类型检查。对于这种特定用例，SFINAE/concepts 只会让错误提示更好看一些。）
Rust 也有这个特性，通过条件 impl 实现。