Perché questo uso di Begin [] non funziona?

Question

Se valutiamo queste righe uno per uno, x verrà creato nel contesto cc.

Begin["cc`"]; 
x = 1; 
End[] 

Tuttavia, se li valutiamo insieme,

(Begin["cc`"]; 
x = 1; 
End[]) 

poi verrà creato in Globalx. Questo nonostante la stampa cc` quanto segue:

(Begin["cc`"]; 
Print[$Context]; 
End[]) 

Qual è il motivo di questo comportamento? La mia ipotesi è che i contesti contano solo durante la fase di analisi, non di valutazione.

Caso di utilizzo: volevo creare una tavolozza Button che definirà alcuni simboli se non esistono ancora, in un contesto "privato" per evitare conflitti con i globali. Qual è il metodo preferito per fare questo, oltre a mettere tutte le definizioni in un file di pacchetto e caricarle dalla tavolozza? (Mi piacerebbe mantenere la tavolozza autonoma.)

Answer 1

I simboli (e i loro contesti) vengono creati durante l'analisi, non la valutazione. Se usiamo $NewSymbol possiamo vedere questo effetto:

$NewSymbol=Print["Name: ",#1," Context: ",#2]&; 

Print["first"]; 
test1; 
Print["last"] 

(Print["first"]; 
test2; 
Print["last"]) 

I primi uno stampa:

first 
Name: test1 Context: Global` 
last 

perché ogni riga nella cella viene trattato come un ingresso separato. La seconda utilizza parentesi per forzare tutte le tre linee per essere considerato un ingresso e stampe

Name: test2 Context: Global` 
first 
last 

da cui possiamo vedere che test2 stata creata nel contesto Global` prima che si verificasse qualsiasi valutazione.

Penso che il modo più semplice per farlo è utilizzare un contesto esplicito sul proprio simbolo: cc`x = 1.

Answer 2

Per la seconda domanda, vi rimando alla risposta this, che automatizza in modo efficace i passaggi evidenziati (con la funzione ParseTimeNameSpaceWrapper). Potrebbe essere necessario più lavoro per renderlo più robusto, ma potrebbe essere un punto di partenza. Io uso questa roba me stesso in occasione.

Answer 3

Solo per riferimento:

(Begin["cc`"]; Evaluate[Symbol["x"]] = 1; End[]) 

cc`x 

1