Il est plus facile d'écrire un programme incorrect que d'en comprendre un correct.
❧
Pour comprendre un programme, vous devez devenir à la fois la machine et le programme.
◆
À lire aussi de Alan Jay Perlis
On ne peut pas aller de l'informel au formel par des moyens formels.
Il y a deux manières d'écrire des programmes sans erreurs; seule la troisième marche.
Vous croyez savoir quand vous apprenez, vous en êtes sur quand vous écrivez, persuadé quand vous enseignez, mais certain seulement quand vous programmez.
La récursion est la racine du calcul car elle échange la description contre du temps.
Dans la même œuvre
Dans un ordinateur, le langage naturel n'est pas naturel.
Si votre ordinateur parle anglais, il a probablement été fabriqué au Japon.
Quand nous écrivons des programmes qui «apprennent», ce qui arrive c'est que nous apprenons, et eux pas.
Il y aura toujours des choses que nous aimerions dire dans nos programmes, mais qui ne peuvent être que mal dites avec tous les langages connus.
La seule théorie constructive liant les neurosciences et la psychologie surviendra de l'étude du logiciel.