Les assertion attrapent les erreurs dynamiquement. Les contrats sont des conditions sur l'état des objets. C'est vérifier à l'exécution en mode debug. Le sain graal serait de pouvoir les vérifier automatiquement.
Le compilo attrape les "call sur nul" statiquement, sans utiliser de contrat.
[^] # Re: Surprise
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Lisaac: sorti de la 0.39beta. Évalué à 2.
Le compilo attrape les "call sur nul" statiquement, sans utiliser de contrat.
"La première sécurité est la liberté"