"tu écris un programme efficace/optimisé que tu veux utiliser en production, et un programme simple et naïf que tu utilises comme "spécification" (ou implémentation de référence), et tu essaies de montrer qu'ils sont équivalents."
ou l'inverse, la version simple étant le modèle de teste. As-tu des noms de langages qui font ça ?
[^] # Re: Perl6
Posté par Nicolas Boulay (site web personnel) . En réponse au journal La recherche en langages de programmation au quotidien. Évalué à 3.
ou l'inverse, la version simple étant le modèle de teste. As-tu des noms de langages qui font ça ?
"La première sécurité est la liberté"