在任何 OOP 语言中，是否有实现家族多态性的最小方法？

Question

我试图找出一个老问题的更广泛的答案：

Scala 中的家族多态性

上面的例子只演示了 2 个家庭的问题：游戏和扑克。 为此，定义了从属类型 Player 和 State 以启用 inheritance 的以下半格：

现在想象一下，我需要连续定义 3 个家庭：游戏、扑克和德州扑克：

突然之间，旧模式不再适用：依赖类型无法直接继承，嵌套类和接口将在其子系列中受到相同概念的影响。 一般来说，在“扑克”家族中没有比“游戏玩家”更具体但比“德州扑克玩家”更一般的玩家表示。

我的问题是：任何 OOP 语言如何以最少的样板覆盖这种情况？ 我不是要求受设计模式的约束，只是一种滥用现有类型系统的非常规方式。

非常感谢你的提议！