/>>Есть, кстати, ещё один тип ошибок. Подтип. Когда примерно знаешь, от чего она возникает, но ты ещё понятия не имеешь, как это вообще возможно пофиксить в полиномиальное время
Я с таким сталкивался только в случаях, когда исправление ошибки -- не моё дело (например, ошибка в электронике/электрике). Зато я видел противоположную ситуацию: программа работает, но почему -- непонятно.
Это очень плохо. С одной стороны -- работает -- не трогай. Но с другой -- это явный пробел в знаниях о собственной программе. Рано или поздно это аукнется. И вдвойне ситуация плохая, если по всем признакам какая-либо фишечка как раз работать не должна, но работает. Это приводит к немодифицируемости окружающего кода. Чуть что поменяешь -- работать перестаёт. Приходится возвращать к странному, на работающему варианту.
В данном случае сам факт правильной работы -- это баг.