Explicitly statically typed programming langagues

Question

I am curious.

I am interested in knowing if any languages exist like C++ and Java, in that the langauge is: (a) Explicitly (ie. not by inference) statically typed, (b) Object Oriented.

I am aware of D, but what others are people using?

Cheers

Answer 1

Objective-C, Eiffel, C#, AS3, Perl are some languages that springs to mind.

Answer 2

C# and Objective C come to mind.

Answer 3

C# 10. and 2.0 are explicitly-typed. Type inference was introduced in C# 3.0 with the var keyword.