明确静态键入的编程Langagues

Question

我好奇。

我有兴趣知道是否存在任何语言，例如C ++和Java，因为Langauge是：（a）明确（即，不是通过推断）静态键入，（b）面向对象。

我知道D，但是其他人在使用什么？

干杯

Answer 1

Objective-C，Eiffel，C＃，AS3，Perl是一些浮现的语言。

Answer 2

C＃和目标C浮现在脑海。

Answer 3

C＃10和2.0是明确的。类型推理是在C＃3.0中引入的 var 关键词。