язык с контролем типов
язык с контролем типов, типизированный язык Смотри также: data type, programming language, type conversion Например: Visual Prolog is a strongly typed object oriented programming language based on the logical programming language Prolog — Visual Prolog - базирующийся на Прологе строго типизированный объектно-ориентированный язык