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

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

Пример:

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

Если метод вызывает другой метод, который выбрасывает проверяемое исключение, то либо нужно обработать исключение, либо объявить его дальше. Это помогает сделать код более надежным и явным в отношении возможных ошибок.