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