+ Répondre à la discussion
Affichage des résultats 1 à 6 sur 6
  1. #1
    Membre du Club
    Inscrit en
    janvier 2008
    Messages
    41
    Détails du profil
    Informations forums :
    Inscription : janvier 2008
    Messages : 41
    Points : 43
    Points
    43

    Par défaut set-cdr! undefined sous drScheme

    Bonjour

    j'essai d'exécuter un programme assez simple sous DrSheme :

    Code :
    1
    2
    3
    (define L (list '1 '2 '3))
    (set-cdr! L '(3 5))
    et j'ai le message d'erreur suivant : reference to undefined identifier: set-cdr!

    Le langage est "Assez-gros Scheme" et je n'ai pas le droit de changer de langage !

    Que faire ?

    Merci de votre aide !

  2. #2
    Rédacteur/Modérateur
    Avatar de Trap D
    Inscrit en
    septembre 2003
    Messages
    4 586
    Détails du profil
    Informations forums :
    Inscription : septembre 2003
    Messages : 4 586
    Points : 6 023
    Points
    6 023

    Par défaut

    Pourquoi voulez-vous utiliser un set-cdr! ? Scheme n'est pas Lisp de ce point de vue, il n'encourage pas la modification physique des variables.
    "La haine seule fait des choix" - Koan Zen
    "Il ne faut pas être meilleur que les autres, il faut être meilleur que soi." Albert Jacquard
    "Ceux qui savent où ils ont posé leur parapluie ne sont pas alcooliques." - pgibonne.
    Faites du Prolog, ça vous changera les idées !
    Ma page Prolog
    Mes codes sources commentés

    Mon avatar : Intérieur avec jeune femme de Vilhelm Hammershoi

  3. #3
    Membre du Club
    Inscrit en
    janvier 2008
    Messages
    41
    Détails du profil
    Informations forums :
    Inscription : janvier 2008
    Messages : 41
    Points : 43
    Points
    43

    Par défaut

    Merci de votre réponse !

    C'est dans le cadre d'un projet d'école. Nous écrivons un interpréteur scheme à partir de scheme. (Mais je pense que vous n'avez pas besoin de connaitre tous les détails).

    Clairement on a une liste genv (l'environnement globale). c'est juste une liste.

    (define genv '((a 1) (b 2) (c 3)))

    A certains endroit du code, on appelle des fonctions d'interprétations (par exemple la fonction qui évalue l'instruction define) qui pour la plupart (sinon toutes) prennent en paramètre la liste genv. (donc une copie de l'adresse de la liste originale). Ces fonctions ont besoin souvent de modifier la liste originale. Et sans set-cdr! Je ne vois absolument pas comment faire.

    Code :
    1
    2
     Scheme n'est pas Lisp de ce point de vue, il n'encourage pas la modification physique des variables.
    Le set! fonctionne pourtant très bien.

  4. #4
    Membre du Club
    Inscrit en
    janvier 2008
    Messages
    41
    Détails du profil
    Informations forums :
    Inscription : janvier 2008
    Messages : 41
    Points : 43
    Points
    43

    Par défaut

    Après un certain nombre de recherches, je me suis rendu compte que les listes dans ce dialecte scheme sont immuables. Effectivement comme tu me l'as dit "Trap D", scheme n'encourage pas la modification physique des variables lors d'un passage en paramètre à une fonction.
    Cela justifie pourquoi la fonction "set-cdr!" n'est plus définie.

    Mais l'on peut néanmoins créer des listes "altérables". Pour cela il faut utiliser la fonction-constructeur (mlist ...) plutôt que (list ...).
    Dès lors les fonctions d'accès et de mutation seront : (mcar ML), (mcdr ML) (set-mcar! ML) (set-mcdr! ML).
    Attention, une liste "mlist" n'est pas une paire ! Donc le test (pair? (mlist)) échoue (renvoie #f) ! Autant que le test (list? (mlist)) d'ailleurs !

    En revanche une liste "mlist" réussi aux tests des reconnaisseurs "mpair?" et "mlist?"


    Enfin, pour utiliser le type "mlist", il faut inscrire en entête du fichier la ligne

    Code :
    1
    2
    (require scheme/mpair)

  5. #5
    Rédacteur/Modérateur
    Avatar de Trap D
    Inscrit en
    septembre 2003
    Messages
    4 586
    Détails du profil
    Informations forums :
    Inscription : septembre 2003
    Messages : 4 586
    Points : 6 023
    Points
    6 023

    Par défaut

    Ok je ne savais pas, mais Scheme insiste vraiment bien (m pour mutable).
    "La haine seule fait des choix" - Koan Zen
    "Il ne faut pas être meilleur que les autres, il faut être meilleur que soi." Albert Jacquard
    "Ceux qui savent où ils ont posé leur parapluie ne sont pas alcooliques." - pgibonne.
    Faites du Prolog, ça vous changera les idées !
    Ma page Prolog
    Mes codes sources commentés

    Mon avatar : Intérieur avec jeune femme de Vilhelm Hammershoi

  6. #6
    Membre du Club
    Inscrit en
    août 2009
    Messages
    38
    Détails du profil
    Informations forums :
    Inscription : août 2009
    Messages : 38
    Points : 54
    Points
    54

    Par défaut

    Le changement est survenu dans le standard R6RS, il y a 4 ans (2007).
    Les documents (livres et articles) qui utilisent le R5RS contiennent encore des appels à set-cdr! et set-car!. Il faut donc migrer vers set-mcdr! et set-mcar!. C'est aussi la même chose sur Racket (le nouveau plt-scheme) qui prend appuie sur le R6RS pour sa définition de langage.

+ Répondre à la discussion
Cette discussion est résolue.

Liens sociaux

Règles de messages

  • Vous ne pouvez pas créer de nouvelles discussions
  • Vous ne pouvez pas envoyer des réponses
  • Vous ne pouvez pas envoyer des pièces jointes
  • Vous ne pouvez pas modifier vos messages
  •