comportamento differente su F inizializzazione # modulo

Question

Ho il seguente programma F #:

open MyModule 

printfn "%d" test 

Con MyModule essere:

module MyModule 

printfn "foo" 

let test = 
    printfn "bar" 
    42 

Questo produce il seguente output:

foo 
bar 
42 

Quando cambio MyModule a:

module MyModule 

printfn "foo" 

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

... il risultato è:

42 

Perché non "pippo" Get più stampato?

Answer 1

Penso che la sezione 12.5.1 della specifica, Execution of Static Initializers, abbia la tua risposta. Citando corrispondenti bit:

l'inizializzatore statico per il file è eseguito al primo accesso di un valore che ha inizializzazione osservabile

e

Tutte le definizioni hanno inizializzazione osservabili tranne per il seguenti definizioni nei moduli:

L'elenco che segue include:

valori

non mutevole, non-thread-locale che sono associati a una semplice espressione costante

Dopo commentando la prima linea di test, diventa un'espressione costante. Pertanto, non attiva più l'inizializzazione statica.

EDIT

Le specifiche non fornisce la motivazione per questo comportamento, ma è simile a C# 's. Ad esempio, in questo codice l'inizializzazione statica non si verifica mai:

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; 
}