Pliki sygnatur i modyfikatory dostępu w języku F #

Question

Niedawno próbowałem nauczyć się zorientowanych obiektowo aspektów języka F # i zacząłem się zastanawiać, jak ograniczyć dostęp do typów/modułów w tym języku.

Dokładniej, chcę znać różnicę między piśmie to:

Example.fsi

module Stack = 
    val foo : string 

Example.fs

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

i alternatywnie to:

Czy nie osiągają dokładnie tego samego w końcu? Pochodzę z tła C#, jestem skłonny po prostu użyć modyfikatorów dostępu do plików sygnatur (FSI). Wydaje się, że są bardziej uniwersalne (mogą na przykład dotyczyć modułów/typów w przestrzeniach nazw), podczas gdy ja nie mam żadnej sytuacji, w której pliki sygnatur oferują coś, czego nie mają modyfikatory dostępu.

Answer 1

Osiągają prawie to samo. (Zauważ, że możesz użyć pliku .fsi dla typów w przestrzeniach nazw też był pewien, co Twój komentarz o które chodzi.)

Plik podpis ma kilka zalet:

• można dokonać podmiotom public dla czas trwania pliku, a następnie private do kolejnych plików projektu.
• Możesz mieć tylko krótkie podsumowanie w pliku podpisu, więc interfejs publiczny jest łatwy do odczytania bez konieczności skanowania ton kodu.

Nie można lekceważyć pierwszej kuli - hermetyzacja wewnątrz zespołu, tak jak w rzeczywistości jest bardzo dużą cechą bardzo dużych projektów. Możliwość zdefiniowania kilku typów, które są sobie nawzajem w pliku File1.fs, ale mają tylko podzbiór tych typów/metod, są jawne dla reszty (File2.fs, File3.fs, itp.) Jest całkiem przydatna (trochę jak "przyjaciel" w C++).