Sometimes I feel that software engineering is really three separate disciplines: ergonomics, type theory, and sociology.