• # Programmation par stratégies

    Posté par (site web personnel) . En réponse à la dépêche Sortie du langage de programmation Tom 2.4. Évalué à 6.

    Je comprend pas trop les concepts de la "programmation stratégique". J'ai jeté un oeil sur le papier Ralf Lämmel là http://homepages.cwi.nl/~ralf/eosp/ et ce que j'en comprend en lisant http://tom.loria.fr/soft/release-2.4/manual-2.4/manual004.ht(...) (parce que la publi est pas très claire), il s'agirait de définir des primitives ensemblistes sur des transformations d'éléments.

    En gros on a des primitives

    opérateur (fonction, liste élément)

    Par exemple

    All(Fonction, liste élément) signifie "Vrai si qqsoit x ¤ liste_élément fonction(x) est possible en terme de typage"

    On a des espèce de fonction il_existe, repeat (qui farfouille l'abre), etc...

    J'ai rien compris ou c'est bien ça ?

    Mais à part proposer quelques primitives sympas proposant un espèce de langage axiomatique, ça apporte quoi le paradigme stratégique ?

    « Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker