Artigo interessante sobre o contexto de mensagens de erro estáticas vs dinâmicas: Pergunto-me quanto da confusão do tempo de execução no nix vem da avaliação preguiçosa em comparação com a estrita.