Il faut dire que le Doc' c'est l'archétype du Hacker tout de même ! :-D
Il y a toute de même de la redondance dans les propositions entre :
faire une preuve de programme
faire des preuves en Coq
vérifier les types
Et avec les quelques grammar nazi qui traînent par ici, je suis étonné qu'il n'y en ait pas plus qui ait voté pour « vérifier les types ». Comme je l'ai déjà dit, faire du type checking ou de la correction grammaticale : c'est du pareil au même — dixit Gérard Huet qui fût le directeur de thèse de Thierry Coquand (l'auteur de Coq) et de Xavier Leroy (le BDFL OCaml).
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Je me suis réveillé dans une dimension parallèle
Posté par kantien . En réponse au sondage Ce que je préfère en informatique / programmation / codage c'est.... Évalué à 2.
Il faut dire que le Doc' c'est l'archétype du Hacker tout de même ! :-D
Il y a toute de même de la redondance dans les propositions entre :
Et avec les quelques grammar nazi qui traînent par ici, je suis étonné qu'il n'y en ait pas plus qui ait voté pour « vérifier les types ». Comme je l'ai déjà dit, faire du type checking ou de la correction grammaticale : c'est du pareil au même — dixit Gérard Huet qui fût le directeur de thèse de Thierry Coquand (l'auteur de Coq) et de Xavier Leroy (le BDFL OCaml).
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.