En effet le cerveau n'est pas si fort que ça en logique, même celui d'un programmeur moyen.
M'est avis que le programmeur moyen devrait s'y former un minimum, il y aurait moins de bugs dans les programmes.
C'est pas que je dise le contraire, je suis d'accord, mais je vois l'échec en pratique... Donc au delà de l'apprentissage, il faut peut être des outils pour aider à appréhender la logique et éviter aussi de faire tomber le cerveau dans des pièges. Par exemple pour moi le développement avec des tests unitaires m'aide souvent : il me montre via des exemples que je suis encore tombé dans le panneau de mon intuition !
C'est aussi illustré par ce jeu sur Clips (langage).
Je n'ai pas bien compris ce que devait illustrer ce jeu. (...) cela montre surtout c'est qu'il n'est pas toujours évident de raisonner en présence d'effets de bord
J'avoue j'ai un peu placé la référence au jeu car il m'a bien plu :-) Et je suis d'accord que c'est surtout les effets de bords qui sont difficiles à appréhender.
Ceci dit en tant que programmeur je suis souvent le gardien de la logique des spécifications fonctionnelles, et je peux dire que c'est un métier difficile ! Réussir à expliquer au client que ce qu'il demande pose des problèmes de logique... c'est constant dans le métier de l'informatique. La plupart de ces incohérences n'apparaissent d'ailleurs que quand on est en train d'écrire le programme... (ça ne ment pas) !
[^] # Re: Le cerveau n'est pas logique
Posté par Alex G. . En réponse au journal Pourquoi la recherche en langages de programmation ?. Évalué à 4.
C'est pas que je dise le contraire, je suis d'accord, mais je vois l'échec en pratique... Donc au delà de l'apprentissage, il faut peut être des outils pour aider à appréhender la logique et éviter aussi de faire tomber le cerveau dans des pièges. Par exemple pour moi le développement avec des tests unitaires m'aide souvent : il me montre via des exemples que je suis encore tombé dans le panneau de mon intuition !
J'avoue j'ai un peu placé la référence au jeu car il m'a bien plu :-) Et je suis d'accord que c'est surtout les effets de bords qui sont difficiles à appréhender.
Ceci dit en tant que programmeur je suis souvent le gardien de la logique des spécifications fonctionnelles, et je peux dire que c'est un métier difficile ! Réussir à expliquer au client que ce qu'il demande pose des problèmes de logique... c'est constant dans le métier de l'informatique. La plupart de ces incohérences n'apparaissent d'ailleurs que quand on est en train d'écrire le programme... (ça ne ment pas) !