का पता लगाने के DownValue/OwnValue विरोध करता है

Question

कभी कभी मैं इस परिदृश्य में चलाने - एक प्रक्रिया एक वैश्विक समारोह f[x] का उपयोग करता है कुछ गणना करने के लिए, इस बीच एक और प्रक्रिया f=5 जो 5[x]

मैं स्थानीयकरण करने के बारे में पता है में बाद के सभी कॉल f[x] बदल जाता है करता है चर, लेकिन मैं विकास में शुरुआती वैश्विक चर का उपयोग करना पसंद करता हूं।

मैं खुद के वैल्यू और डाउनवैल्यू को मिश्रण करने के वैध कारण के बारे में नहीं सोच सकता। ऊपर की स्थिति की स्थिति होने पर चेतावनी संदेश को लागू करने का कोई तरीका है?

नीचे युक्तियों के अतिरिक्त, डिफ़ॉल्ट संदर्भ सेल विकल्प के तहत OptionsInspector में पाया जा सकता/मूल्यांकन विकल्प/CellContext

Answer 1

आप Protect[f] का उपयोग (किसी भी तरह के) आगे कार्य से बचने के लिए कर सकते हैं और Unprotect[f] उन्हें फिर से अनुमति देने के लिए।

तुम भी वास्तव में f पर खुद-मूल्यों डाल, लेकिन अभी भी उपयोग करने के लिए Protect/Unprotect बिना नीचे-मूल्यों का काम अनुमति देने से Set[f, ...] को रोकने के लिए अप-मूल्यों के साथ कुछ सरल hackery कर सकता है:

In[76]:= ClearAll[f] 

In[77]:= f /: Set[f, x_] := x 

In[78]:= f = 7 

Out[78]= 7 

In[79]:= f 

Out[79]= f 

In[80]:= f[x_] := x + 1 

In[81]:= f[1] 

Out[81]= 2 

उपरोक्त पारदर्शी रूप से Setf पर उपयोग को अवरुद्ध करता है। एक वास्तविक संदेश जारी करने वाले भी स्पष्ट है:

In[93]:= f::noov = "Blocked attempt to assign `1` as an OwnValue of f"; 

In[94]:= f /: Set[f, x_] := (Message[f::noov, x]; x) 

In[95]:= f = 7 

During evaluation of In[95]:= f::noov: Blocked attempt to assign 7 as 
    an OwnValue of f 

Out[95]= 7 

Answer 2

यह एक चेतावनी संदेश पैदा करने के बारे में मूल सवाल का जवाब नहीं है, लेकिन Formal Symbols वैश्विक प्रतीक के रूप में उपयोग के लिए काम कर रहे हैं। वे स्वचालित रूप से संरक्षित होते हैं और इसलिए गलती से परिभाषित नहीं किया जा सकता है। आप कीस्ट्रोक <ESC>$f</ESC> का उपयोग करके औपचारिक प्रतीक दर्ज करते हैं, जहां f कोई भी पत्र हो सकता है। नुकसान यह है कि एक के बजाय प्रतीक दर्ज करने के लिए चार कीस्ट्रोक लेते हैं।