Можешь назвать языки программирования, в которых типы данных проверяются во время компиляции?