Firma di file e Modificatori di accesso in F #

Question

Ho recentemente cercato di imparare gli aspetti orientati agli oggetti di F # e sono diventato curioso di sapere come limitare l'accesso a tipi/moduli nella lingua.

Più in particolare, voglio sapere la differenza tra scrivere questo:

Example.fsi

module Stack = 
    val foo : string 

Example.fs

module Stack = 
    let foo = "foo" 
    let bar = "bar" 

e in alternativa questo:

module Stack = 
    let foo = "foo" 
    let private bar = "bar" 

Alla fine non realizzano esattamente la stessa cosa? Provenendo da uno sfondo C#, sono molto propenso a usare i modificatori di accesso sui file di firma (FSI). Sembrano essere più versatili (possono applicarsi a moduli/tipi in spazi dei nomi, ad esempio), mentre non ho alcuna situazione in cui i file di firma offrono qualcosa che i modificatori di accesso non lo fanno.

Answer 1

Realizzano quasi la stessa cosa. (Si noti che è possibile utilizzare un file .fsi per i tipi di spazi dei nomi troppo, non sapeva che cosa i suoi commenti su che significava.)

Un file di firma ha un paio di vantaggi:

• possibile rendere le entità public per la durata del file, ma poi private per i file successivi del progetto.
• Si può avere solo un breve riassunto nel file di firma, quindi l'interfaccia pubblica è facile da leggere senza dover scannerizzare tonnellate di codice.

Il primo proiettile non deve essere scherzato: l'incapsulamento all'interno dell'assemblaggio come questo è in realtà una caratteristica abbastanza grande per progetti molto grandi. Essere in grado di definire alcuni tipi che sono pubblici l'uno con l'altro all'interno di File1.fs, ma solo un sottoinsieme di quei tipi/metodi è pubblico per il resto (File2.fs, File3.fs, ecc.) È abbastanza utile (un po 'come "amico" in C++).