Явно программируемый язык программирования

Question

Мне любопытно.

Мне интересно знать, существуют ли какие-либо языки, такие как C ++ и Java, в которых язык: (a) явно (т.е. не по логическому выводу) статически типизирован, (b)Объектно-ориентированное.

Я знаю о D, но что другие люди используют?

Приветствия

Answer 1

Objective-C, Eiffel, C #, AS3, Perl - некоторые языки, которые приходят на ум.

Answer 2

C # 10. и 2.0 явно набраны. Вывод типа был введен в C # 3.0 с ключевым словом var.

Answer 3

C # и Цель C приходят на ум.