एफ # मॉड्यूल आरंभीकरण पर अलग-अलग व्यवहार

Question

मैं निम्नलिखित एफ # कार्यक्रम है:

foo 
bar 
42 

जब मैं बदलने के लिए:

module MyModule 

printfn "foo" 

let test = 
    printfn "bar" 
    42 

यह निम्न उत्पादन का उत्पादन:

open MyModule 

printfn "%d" test 

MyModule किया जा रहा है के साथ

MyModule से:

module MyModule 

printfn "foo" 

let test = 
    // printfn "bar" <-- note the comment! 
    42 

... परिणाम है:

42 

क्यों "foo" अब और मुद्रित नहीं प्राप्त करता है?

Answer 1

मुझे लगता है कि स्पेक के अनुभाग 12.5.1, Execution of Static Initializers, आपका उत्तर है। प्रासंगिक बिट का हवाला देते हुए:

फ़ाइल के लिए स्थिर प्रारंभकर्ता नमूदार प्रारंभ है कि एक मूल्य के पहले उपयोग पर निष्पादित किया जाता है

और

सभी परिभाषाओं को छोड़कर नमूदार प्रारंभ है मॉड्यूल में निम्नलिखित परिभाषाएं:

निम्न सूची में निम्न शामिल हैं:

गैर परिवर्तनशील, गैर धागे की स्थानीय मूल्यों है कि एक साधारण निरंतर अभिव्यक्ति

लिए बाध्य कर रहे test की पहली पंक्ति बाहर टिप्पणी के बाद, यह एक निरंतर अभिव्यक्ति बन जाता है। इसलिए, यह अब स्थाई प्रारंभिक ट्रिगर नहीं करता है।

संपादित

कल्पना इस व्यवहार के लिए तर्क प्रदान नहीं करता है, लेकिन यह सी # के लिए इसी तरह की है। उदाहरण के लिए, इस कोड में स्थैतिक प्रारंभिक कभी नहीं होता:

class Program { 
    static void Main(string[] args) { 
     Console.WriteLine(T.Integer); 
     Console.WriteLine(T.Null); 
     Console.WriteLine(T.Enum); 
     Console.Read(); 
    } 
} 

static class T { 
    static T() { 
     Console.WriteLine("You won't see this."); 
    } 
    public const int Integer = 1; 
    public const string Null = null; 
    public const ConsoleKey Enum = ConsoleKey.Escape; 
}