Interesante artículo sobre el contexto de los mensajes de error estáticos frente a dinámicos: Me pregunto cuánto de la confusión del tiempo de ejecución en nix proviene de la evaluación perezosa frente a la estricta.