methods - 静态类型语言中的多界方法？

Question

对不起，标题有点错误。因为我正在考虑方法绑定，所以当这个问题出现时。带有一些伪代码的示例..

interface A
interface B

val z: A & B = [object of a class that implements A and B];

他们是否有任何支持此功能的静态语言？
-> 解决对两种类型 z 的引用。
还是我有一些逻辑问题，这是不可能的？

Answer 1

您可以在具有特征的 scala 中执行此操作：

trait A
trait B
class Z extends A with B

val z: A with B = new Z