Coq
Par Arthur Milchior le vendredi 18 décembre 2009, 01:10 - Informatique - Lien permanent
Il existe un langage de programmation certifié qui s'appelle COQ, c'est très puissant car il est impossible d'écrire des programmes avec des bugs, mais c'est aussi très dur à écrire, au moins au début. Ce qui fait que à 2 heure du matin, je suis en train de bosser sur la première question d'un devoir pour l'université.
Je trouve que le fait que coq me tienne éveillé fait un très bon jeu de mot.
-- Arthur, qui continue de penser que, quand Goldman parle de "ses choses qui nous font veiller tard" il s'agit de la programmation.
Commentaires
Ah, ce sont des programmes qui tournent sans utilisateur ?
Parce que la majorité des bugs, en général, sont provoqués par la notoirement instable interface chaise-clavier.
Typhon
Si seulement cette légende était vrai... Il y a aussi de vrai erreurs grave dans les programmes.
Oui, beaucoup de programme tournent sans utilisateurs: calculs de la météo, systèmes embarqués(voiture, avions, fusée)
Je te conseille de lire: http://fr.wikipedia.org/wiki/Bug_in...