J'ai d'abord essayé de poser cette question sur StackOverflow, mais c'était trop subjectif :-(. Je m'intéresse aux méthodes de définition de la puissance des langages de programmation. La complétude de Turing en est une, mais elle est presque universellement satisfaite. Ce qui serait bien, c'est de définir un mesure de la puissance qui fait la distinction entre les langages de programmation qui sont réellement utilisés. Par exemple, quelqu'un peut-il proposer une méthode non subjective qui ferait la distinction entre l'assemblage et Java?
L'exhaustivité de Turing signifie qu'un langage est au maximum puissant dans ce qu'il peut produire (ce qui signifie à peu près qu'il peut faire n'importe quoi sans temps dans le monde réel). Donc, si nous voulons définir une mesure de puissance plus forte, nous devons adopter une autre approche. La brièveté a été suggérée dans la question initiale, mais ce n'est pas du tout facile à définir. Quelqu'un a-t-il d'autres suggestions?