Есть ли у F # эквивалент OCaml типа t?

Question

С вариантами OCaml я вижу

/* Reason syntax */
module M = {
  type t =
    | Foo
    | Bar;
};

совсем немного.Кажется, F # разделяет варианты, вытекающие из проблемы родительского модуля. Люди OCaml обходятся с модулями.

Делает ли сообщество F # нечто подобное?

module M =
    type MType = | Baz
    type T =
      | None
      | Foo
      | Bar(MType)

Answer 1

В F # допустимо присвоить типу и модулю одно и то же имя, поэтому чаще пишут тип и связанный с ним модуль бок о бок, например так:

type M =
    | Foo
    | Bar

module M =

    let f (m: M) = // ...

Используется длядля этого необходимо добавить атрибут [<CompilationRepresentation (CompilationRepresentationFlags.ModuleSuffix)>] в модуль, но теперь он автоматический.