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.
Just another human being
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.