Comment puis-je autoriser les définitions en double dans les modules de Racket?

Question

Je veux essentiellement permettre aux programmes de redéfinir les identifiants et lorsque toute autre instruction utilise l'identifiant, elle sera liée à la dernière.

Par exemple, je veux quelque chose comme ceci:

#lang racket 
(define x 3) 
(write x) 
(define x 5) 
(write x) 

à la sortie 35.

Answer 1

C'est une question difficile à répondre, car vous pourriez avoir un certain nombre de raisons différentes de vouloir cela.

1) vous voulez être en mesure de changer à quoi est liée une liaison.

Dans ce cas, vous seriez peut-être satisfait de set!. par exemple:

#lang racket 
(define x 3) 
(write x) 
(set! x 5) 
(write x) 

2) Vous souhaitez exécuter du code sur plusieurs implémentations de schéma.

Dans ce cas, utilisez quelque chose comme #lang r5rs.

3) Vous trouvez define esthétiquement plus agréable que set!

Voici la réponse est plus compliquée: Racket est un langage de programmation programmable, et vous pouvez facilement faire votre propre version de Racket qui a la sémantique que vous voulez. Cependant, Racket est délibérément conçu pas pour avoir cette sémantique, parce que la lecture de code écrit dans ce style est difficile; Dans un fichier volumineux et dans un langage permettant plusieurs définitions, un lecteur peut facilement trouver la mauvaise définition et supposer que c'est la seule.

Est-ce que cela aide?