Explícita de tipos estáticos lenguajes de programación

Question

Tengo curiosidad.

Estoy interesado en saber si existen lenguajes como C ++ y Java, en la que el lenguaje se ve: (A) de forma explícita (es decir. No por inferencia) estático de tipos, (b) orientado a objetos.

Soy consciente de D, pero la gente lo que otros están utilizando?

Saludos

Answer 1

Objetivo-C, Eiffel, C #, AS3, Perl son algunos idiomas que viene a la mente.

Answer 2

C # y C Objetivo vienen a la mente.

Answer 3

C # 10. y 2.0 están explícitamente-mecanografiado. La inferencia de tipos se introdujo en C # 3.0 con la palabra clave var.