Не утопия, а обыденность, продиктованная культурой написания кода. И масшабирование тут вообще не проблема.
Знаешь почему многие ревностно охраняют типизацию переменных? Да потому что у них полностью отсутствуют стандарты написания красивого кода, вот и путаются с типами.
Например, взять склонения по падежам в 1с. Есть стандартный модуль, огромных размеров и сишный вариант, маленький и быстрый. Так вот все используют только первый, потому что второй что бы разобрать надо потратить кучу времени, а это деньги.
Я храню этот сишный код, что бы показывать молодым как нельзя делать никогда. Однобуквенные переменные, никакого деления на изолированные модули, просто куча-мала и не более