тогда весь аргумент сводится к тому, что "если забить на гигантский класс нетривиальных ошибок, которые не ловит ни хаскель, ни питон, то хаскель ловит гораздо больше ошибок, чем питон"
это верно, но бесполезно
Сойдемся на том, что это верно, а бесполезно или нет, пусть каждый считает для себя сам. Потому что если вы где-то в моих словах увидели, что я запрещаю кому-то использовать языки с ДТ, то я не запрещаю. Кто-то найдет очень полезным для себя, например, Python, а кто-то - Haskell.