Могут ли модули F # быть залатаны?

Question

Быстрый вопрос.Я только что прочитал, что если вы хотите добавить функцию, например, в модуль List, вы можете определить новый модуль List с этой функцией:

module List
  let foo = // ...

Имеет ли это эффект добавления foo к основномуМодуль списка, или вам нужно явно открыть новый List?Первое похоже на «исправление обезьяны» Руби;Я думаю, что последний будет больше похож на методы расширения.

(я бы попробовал это, но я не рядом с компилятором.)

Answer 1

Это очень похоже на пространства имен; они "открыты". То есть у меня может быть два файла или две сборки, которые вносят типы в пространство имен, и затем, если я использую эти файлы или ссылаюсь на эти сборки и говорю

open ThatNamespace

Я вижу объединение всех членов.

Answer 2

Это работает аналогично методам расширения:

module List =
    let doSomething lst v = lst |> List.nth v