swap!!

swap!! permet de permuter le contenu de deux cellules d'indirection «ref». Il s'agit d'un opérateur d'affectation qui produit un effet de bord.

La permutation doit respecter la règle du type dynamique fort. Cela signifie qu'il n'est pas possible de permuter des cellule qui contiennent des valeurs de types différents.

(define '$a 0)
(define '$b 1)
(swap!! $a $b)
(display "$a = " $a)
(display "$b = " $b)

⇒

$a = 1
$b = 0

Il est toutefois possible de permuter le contenu des cellule indépendamment du type si au moins une des deux contient (nothing).

(define '$a 0)
(define '$b (nothing))
(swap!! $a $b)
(display "$a = " $a)
(display "$b = " $b)

⇒

$a = (nothing)
$b = 0

Attention, notez que swap!! n'est pas une opération atomique. Elle ne devrait pas être utilisée dans une section critique sans synchronisation.