Блог

В F # тип записи, размещенный непосредственно в пространстве имен, будет скомпилирован как тип класса для C #.

 e.g., 
namespace MyNameSpace
type MyType  = { Name: string; Content: string; Text: string }
  

C # будет рассматривать MyType как статический общедоступный класс.

Но как C # видит MyType, когда он находится в модуле внутри пространства имен?

 e.g.,
 namespace MyNameSpace
 module MyModule
    type MyType  = { Name: string; Content: string; Text: string }
  

Если он является закрытым для MyModule, может ли он быть общедоступным для C #?

(Я не смог найти этот ответ в Google : ( )

TIA

Модуль F # компилируется как класс. Если у вас есть объявление типа внутри модуля, оно будет скомпилировано как вложенный класс. В вашем примере MyNameSpace.MyModule.MyType MyNameSpace часть является пространством имен, но MyModule (а также MyType ) являются классами.

В C # доступ к вложенным классам осуществляется с помощью . , но на уровне CLR доступ к вложенному классу осуществляется с помощью , поэтому, если вы хотите получить доступ, MyType например, с помощью Type.GetType , вам нужно использовать:

 System.Type.GetType("MyNameSpace.MyModule MyType")
  

Обратите внимание, что это не работает в F # Interactive, который добавляет другое имя в пространство имен, но это работает в скомпилированном коде. Я не уверен, как это работает DataTemplate в WPF, но, возможно, вам нужно указать тип, используя формат CLR с в имени.

По умолчанию я полагаю, что все члены модуля будут следовать одной и той же общедоступной статической форме объявления. Результатом компиляции вашего примера здесь является легко доступный класс MyType из C#:

 static void Main(string[] args)
{
    var foo = new MyNameSpace.MyModule.MyType("x", "b", "c");
}
  

Чтобы принудительно контролировать доступ к элементу модуля, вам нужно немного изменить объявление:

 module MySecrets =
    type private SecretType = { Password: string }
  

РЕДАКТИРОВАТЬ: Ага, нашел соответствующую страницу:https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/access-control