Explicitement langages de programmation statiquement typé

Question

Je suis curieux.

Je suis intéressé à savoir si des langues existent comme C ++ et Java, en ce que le langauge est: (A) Explicitement (ie. Pas par inférence) statiquement typé, (b) orienté objet.

Je suis au courant de D, mais ce que les autres personnes utilisent?

Vive

Answer 1

Objective-C, Eiffel, C #, AS3, Perl quelques langues qui vient à l'esprit.

Answer 2

C # et Objective C viennent à l'esprit.

Answer 3

C # 10. et 2.0 sont explicitement typé. L'inférence de type a été introduit en C # 3.0 avec le mot-clé var.