Compilador do futuro

Não seria legal se os compiladores, além de checar por erros de sintaxe e de tipo, também verificassem se seu programa cumpre algumas propriedades?? É, seria legal.