1. 9

  2. 4

    A factor that looms larger in computer science than in architecture or other disciplines is correctness. A building may be regarded as elegant even if marginal parts of it are uncomfortable, but no program that does not work is regarded as elegant.

    I don’t think comfort is the analog for correctness in architecture. Many great works of architecture are made to be uncomfortable – with the thesis being how. You could even argue that the lack of formal correctness in architecture is part of what makes it so interesting. But if one thing makes programming unique, it’s the way both aesthetic and formal correctness can be pursued.