Cependant, mon premier reflexe, comme lui, quand j'ai lu ces lignes :
je demande à l'ordinateur de m'envoyer un résultat en décrivant ce que je veux et non en décrivant ce que l'ordinateur doit faire pour l'obtenir.
j'ai aussi tout de suite pensé Prolog.
Je cite d'ailleurs wikipedia a propos de la programmation logique (utilisée par Prolog) :
La Programmation logique est une forme de programmation dont l'essence est de définir des règles de logique mathématique au lieu de fournir une succession d'instructions que l'ordinateur exécuterait.
Dans ton exemple avec itself, j'ai l'impression que ce que tu cherches c'est que ton langage évolue au fil du temps : itself n'avait pas de sens avant le exist file. Tu n'as pas eu à le définir ensuite, parce que son sens est devenu intrinsèquement lié à l'objet considéré au moment présent. A première vue ça ressemble à une déclaration de variable/objet qui serait induite par le langage et non imposée par une instanciation effectuée par le développeur.
Dans la programmation, il y a deux extrêmes : ceux qui veulent qu'on fasse : déclaration, instanciation, utilisation, destruction. Et ceux qui pensent que tout ça, ça lourde, c'est verbeux, on peut laisser le soin à la machine de s'en occuper tout seul. On arrive actuellement à des langages où on doit déclarer et instancier en même temps, la destruction est laissée à la machine.
Tu aimerais d'une certaine manière avoir un langage dont le sens te permet de t'affranchir de l'instanciation, si j'ai bien compris, c'est ça ?
(pareil que toi, je réflechis en même temps que j'écris)
Donc, comme tu dis, le nom de la variable a maintenant un sens dans ce langage : grâce au vocabulaire, on peut deviner ce qu'est un élément. A quoi il se rapporte, c'est du au contexte (itself est dans une boucle if, et concerne ce qui est testé par le if, mais pas l'existence, parce qu'elle n'est qu'un test, pas un "objet" humainement visible et palpable. Donc itself ne peut être que file).
Tes idées sont toujours aussi marrantes, parce qu'elles vont contre courant, j'aime bien ;) Même si ça ne mène à rien d'exploitable (ou pas), ça donne parfois à réflechir sur des sujets intéressants
[^] # Re: Du côté de la syntaxe
Posté par iznogoud . En réponse au journal [annonce]Formalisation grammaticale d'un pidgin. Évalué à 3.
je demande à l'ordinateur de m'envoyer un résultat en décrivant ce que je veux et non en décrivant ce que l'ordinateur doit faire pour l'obtenir.
j'ai aussi tout de suite pensé Prolog.
Je cite d'ailleurs wikipedia a propos de la programmation logique (utilisée par Prolog) :
La Programmation logique est une forme de programmation dont l'essence est de définir des règles de logique mathématique au lieu de fournir une succession d'instructions que l'ordinateur exécuterait.
Dans ton exemple avec itself, j'ai l'impression que ce que tu cherches c'est que ton langage évolue au fil du temps : itself n'avait pas de sens avant le exist file. Tu n'as pas eu à le définir ensuite, parce que son sens est devenu intrinsèquement lié à l'objet considéré au moment présent. A première vue ça ressemble à une déclaration de variable/objet qui serait induite par le langage et non imposée par une instanciation effectuée par le développeur.
Dans la programmation, il y a deux extrêmes : ceux qui veulent qu'on fasse : déclaration, instanciation, utilisation, destruction. Et ceux qui pensent que tout ça, ça lourde, c'est verbeux, on peut laisser le soin à la machine de s'en occuper tout seul. On arrive actuellement à des langages où on doit déclarer et instancier en même temps, la destruction est laissée à la machine.
Tu aimerais d'une certaine manière avoir un langage dont le sens te permet de t'affranchir de l'instanciation, si j'ai bien compris, c'est ça ?
(pareil que toi, je réflechis en même temps que j'écris)
Donc, comme tu dis, le nom de la variable a maintenant un sens dans ce langage : grâce au vocabulaire, on peut deviner ce qu'est un élément. A quoi il se rapporte, c'est du au contexte (itself est dans une boucle if, et concerne ce qui est testé par le if, mais pas l'existence, parce qu'elle n'est qu'un test, pas un "objet" humainement visible et palpable. Donc itself ne peut être que file).
Tes idées sont toujours aussi marrantes, parce qu'elles vont contre courant, j'aime bien ;) Même si ça ne mène à rien d'exploitable (ou pas), ça donne parfois à réflechir sur des sujets intéressants