В Java проверяемые исключения (checked exceptions) — это исключения, которые проверяются компилятором во время компиляции. Если метод может выбросить проверяемое исключение, он обязан либо обработать его внутри себя (try-catch), либо объявить в сигнатуре метода с помощью ключевого слова throws. Это заставляет программиста явно учитывать возможность возникновения таких ошибок, например, при работе с файлами или сетевыми операциями.

Пример:

public void readFile(String path) throws IOException {
    FileReader file = new FileReader(path);
    // ...
}

Здесь IOException — проверяемое исключение, и метод объявляет, что может его выбросить.

Могли бы вы объяснить, что такое проверяемые исключения в языке программирования?