明确静态类型的编程语言

Question

我很好奇。

我很想知道是否存在像C ++和Java这样的语言，因为语言是： （a）明确地（即不是推论）静态打字，（b）面向对象。

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

干杯

Answer 1

Objective-C，Eiffel，C＃，AS3，Perl是一些令人想起的语言。

Answer 2

想到C＃和Objective C。

Answer 3

C＃10和2.0是明确键入的。使用var关键字在C＃3.0中引入了类型推断。