Можно ли считать ошибки в программировании проверяемыми типами и как это влияет на обработку ошибок?

Компании, где спрашивали

СБЕР