D'ailleurs, les langages de programmations fonctionnels sont en parti conçus pour pouvoir démontrer mathématiquement que le programme fonctionne sans bugs.
Référence nécessaire. Et n'oublie pas que Lisp a été conçu dans les années 50, hein. Tu me donneras une liste des propriétés qui ont été prises en compte dans le design de Lisp pour qu'on puisse prouver mathématiquement l'absence de bugs dans les programmas.
[^] # Re: Il ne faut pas confondre l'innovation et le progrès.
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse au journal De l'inéluctable progrès de l'informatique, ou pas.. Évalué à 2.
Référence nécessaire. Et n'oublie pas que Lisp a été conçu dans les années 50, hein. Tu me donneras une liste des propriétés qui ont été prises en compte dans le design de Lisp pour qu'on puisse prouver mathématiquement l'absence de bugs dans les programmas.