模块中的重载功能

Question

由于curried函数不能重载且模块不能有成员，这是否意味着模块中没有重载功能？答案似乎很明显，但我想确保没有我忽略的东西。

Answer 1

正确，模块中没有重载函数（更一般地说，没有办法使let-bound函数重载）。如果你说f，那么f总是只有一种类型，而如果你说o.f，那可能是指一组重载（由周围环境解决）。