L'illusion de la théorie dans les grands programmes : les LLMs et les limites de la compréhension du code

2025-04-28

L'article de Peter Naur soutient que la « théorie » d'un grand programme n'est pas le code lui-même, mais plutôt la profonde compréhension détenue par les programmeurs qui l'ont construit. Utilisant l'analogie de Ryle d'un chemin, le code est le chemin, tandis que comprendre le programme revient à le parcourir. Bien que les LLMs puissent générer du texte apparemment théoriquement informé, cela reste superficiel ; il manque de véritable compréhension. Naur souligne que comprendre les grands programmes exige une implication continue dans leur développement et leur maintenance — une connaissance qui ne peut être acquise simplement en lisant du code ou de la documentation.