Язык программирования, обладающий такими особенностями, как статический контроль типов и строгая типизация