views:

41

answers:

3

Hi,

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

+1  A: 

C# and Objective C come to mind.

NRaf
+2  A: 

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

kotlinski
+1  A: 

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

Robert Harvey
var is inference though, iirc this means thatvar x = 11;x = "hello"; is invalid
Mex
@Mex: Yes......?
Robert Harvey