Статически типизированный язык программирования