typed language

Мова, яка передбачає визначання типів даних

широко використовувана мова (напр. ФОРТРАН, ПАСКАЛЬ, Сі)