язык со строгим контролем типов. Язык программирования, в котором тип любого выражения может быть определен во время трансляции.
STRONGLY-TYPED LANGUAGE
Англо-русский перевод STRONGLY-TYPED LANGUAGE
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012