This is actually one of the things that's driving Mike's research. When the latest programming paradigm comes out, usually people argue it's better based on the

This is actually one of the things that's driving Mike's research. When the latest programming paradigm comes out, usually people argue it's better based on the code being shorter or prettier. Judging programming styles based on beauty is inherently subjective, so Mike is trying to find some quantitative basis for comparing programming systems.