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