Вот в C# например функции должны принадлежать классу.
значить любой класс это модуль?
Зачем столько всего ? сборка, пространство имен, класс, модуль (F# конечно же, в C# официально модулей нет).
зато теперь еще понятие file (для области видимости) ввели.
Каким критериям должен соответствовать программный модуль в мультипарадигменном ЯП?