N>Высокоуровневую логику на типах писать сложно и обычно нерентабельно, и это обычно никто не делает.

Но как же! Мне тут рядом все уши прожужжали, что надо как можно больше логики складывать в типы!

N>Но вот пример ошибки в твоей задаче, с которой типы могут помочь... Компилятор может проверять, что мы случайно не складываем погонные метры с килограммами, или что мы не ищем значение в килограммах внутри списка, элементы которого являются "количеством ящиков".

Да. Это, безусловно, подспорье. Но на практике (80% кода в логике изменения не менялись уже лет пять, остальные 20% менялись этой весной) такое возникает исчезающе редко, особенно если заказ предоставлен черным ящиком, из которого наружу торчат is_processed, is_risk и т.п.

У нас гораздо больше проблем именно с высокоуровневой логикой.