OCaml 中的受保护方法

📋 概述

本文是一篇翻译文章，讲解如何在 OCaml 中编码“受保护方法”（guarded methods）。受保护方法允许只为特定方法附加对接收者（self）的约束，从而只有满足这些约束时才能被调用。OCaml 语法上不允许直接定义这类方法，作者展示了如何用类型相等见证（type equality witness）来编码它们，并探讨了 OOP 与 FP 的对称性。