哪些语言支持继承方法的返回类型的协变?

Luk*_*uke 4 c# java oop programming-languages covariance

我最初问这个问题,但在寻找答案时,发现我原来的问题是 C# 缺乏对继承方法返回类型协变的支持。发现这一点后,我很好奇哪些语言支持此功能。

我会接受谁能说出最多名字的答案。

编辑:约翰·米利金正确地指出,许多动态语言都支持这一点。澄清:

我只寻找静态/强类型语言。

Iva*_*ton 5

  • C++
  • 爪哇
  • REALbasic
  • 埃菲尔铁塔
  • 萨瑟
  • 模块3