Перегруженные функции в модулях

Question

Поскольку функции карри не могут быть перегружены, а модули не могут иметь членов, значит ли это, что в модуле нет перегруженной функции? Ответ кажется очевидным, но я хочу убедиться, что я ничего не пропускаю.

Answer 1

Правильно, нет перегруженных функций в модулях (в общем, нет способа перегрузить функцию с привязкой). Если вы говорите f, то f всегда имеет один тип, тогда как если вы говорите o.f, это может относиться к группе перегрузок (разрешенных окружающим контекстом).