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