Bonjour, je débute le langage scheme et je galère !!!    
je n'arrive pas à faire la fonction intersection qui calcule l'intersection de deux ensemble A et B, ainsi que la différence .... quelqu'un pourrait m'aider?
merci d'avance

Quel est ton problème?

Quelles sont les fonctions à ta disposition pour écrire l'algo ?
As-tu une idée de la manière de procéder, en dehors de tout langage ?

Je connais : car, cdr , cons , cond, null? , list?
Dans un autre langage j'aurais fait une boucle si en comparant les deux ensemble mais la en scheme je comprend pas la logique ...

il faut peut etre utiliser la fonction minimum?

Je te suggère de lire R5RS et de te renseigner sur if (et cond, mais cond ne devrait pas être nécessaire pour ton besoin), eq?, eqv? peuvent suffire mais tu devrais probablement regarder du côté de memv si tu veux te simplifier la vie

http://mitpress.mit.edu/sicp/full- [...] _sec_1.2.1

Accessoirement, si tu apprends le Scheme tu devrais probablement lire le reste de SICP.

merci pour tes liens je vais les lire tout de suite !
 
moi j'avais eu comme idée de condenser les deux ensembles avec cond et de les trier mais après je bloque  
 
j'ai oublié de préciser que ce sont des ensembles d'entiers et chaque élément apparait une seule fois dans la lsite

Bof, je suggèrerais d'itérer sur le premier et pour chaque élément de regarder s'il est dans le 2e. Ca donne grosso merdo du O(m*n), ce qui me semble correct.

S'il y est tu stockes dans le car d'une dotted pair, s'il n'y est pas tu le stockes dans le cdr de ta pair. De cette manière, tu as l'intersection dans le car de ta paire et la différence dans le cdr

aie je comprend rien .. je débute vraiment donc pas facile
itérer avec do? Mais en scheme on peut pas ?
 
Pour l'union j'avais fait ça :
 
(define (union A B)
  (cond ((null? A) B)
           ((null? B) A)
            (else (cons (car A) (cons (car B) (union (cdr A) (cdr B)))))))

CF le lien vers SICP, en scheme (et dans la majorité des langages fonctionnels) l'itération sur une collection se fait soit via récursion soit en utilisant une HoF (qui planque la récursion)

Si a et b ont un élément commun, on se retrouve avec un duplicat dans le résultat. Je doute fort que ça puisse être considéré comme un résultat correct.

Je suis désolé de te dire qu'avec un truc pareil, tu aurais pu te simplifier la tache et écrire simplement

(define union append)

Bon ben j'

lol j'avais oublié append ... la c'est pareil on se retrouve avec un duplicat dans le résultat ?
tu l'ecrirais comment toi l'uinon?

Oui, mais l'ordre est différent (au lieu d'avoir a1, b1, a2, b2, a3, b3, ... append renvoie a1, a2, a3, ..., b1, b2, b3, b4, ...)

Pour chaque élément de b,
    s'il est dans a, ne rien faire
    s'il n'est pas dans a, le conser à a

En récursif, ça donne:

union entre a et b
    si b est vide, renvoyer a
    si car b est dans a, renvoyer l'union de a et cdr b
    sinon renvoyer l'union du cons de car b et a et de cdr b

et ça a l'avantage d'être tail-rec