onur Le 16/10/2008 à 15:39 Vous avez des documents/white-paper sur ça?
Tout ce qui passe pas par le port 80, c'est de la triche.
heu... des papers sur quoi exactement?
ça a pas la même geule qu'un compilo de langage impératif, parseur grammaire arbre codegen toussa?
onur Le 17/10/2008 à 13:07 Bah pour parser et tout j'imagine que c'est pareil, mais disons que voilà:
je pense à un système autonome qui changerait d'état suivant les actions d'un utilisateur, mais tout en respectant des contraintes. Et ces contraintes seraient données par un langage déclaratif.
Exemple: un logiciel (ou plutot un système) où des gens peuvent griser des cases sur un planning. Et on paramètre le truc avec un langage déclaratif qui permet de dire: "ne jamais permettre plus de 3 cases grises contigues".
Mais j'ai l'impression que ce n'est pas que de la contrainte.
Car de plus, avec le langage, il faudrait pouvoir directement agir sur l'état du système. En reprenant le dernier exemple, le langage permettrait de donner une règle du genre "chaque mois qui passe donne droit à un utilisateur de griser une case de plus".
Donc en gros, c'est pas seulement un générateur de code, mais je sens qu'il y a quelque chose à faire au niveau du moment d'execution. Et je me dis qu'il y a des méthodes pour concevoir ce genre de système.
Tout ce qui passe pas par le port 80, c'est de la triche.
C'est de la programmation logique, ça. Cf. Prolog et cf. les divers theorem provers plus ou moins poussés (Prolog n'étant pas très poussé comme theorem prover, ça se situe quelque part entre le prover et le langage de programmation).
onur > D'après ta description j'ai l'impression que tu veux plutôt un automate à états qu'un langage à proprement dit ?
onur Le 21/10/2008 à 09:26 geogeo > Oui, mais un graphe d'état paramétré (peut-être même crée?) par des regles données dans un langage déclaratif.
Tout ce qui passe pas par le port 80, c'est de la triche.