静态类型语言中的多有界方法

Question

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

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

是否有支持此特性的静态语言?
->对两种类型z的引用的解析。
或者我有一些逻辑问题，这是不可能的?

Answer 1

你可以在scala中使用traits:

trait A
trait B
class Z extends A with B
val z: A with B = new Z