[logicchains]

The ship's probably sailed on this, but is there any chance of Rust getting a module system like OCaml's (or Haskell's upcoming Backpack) in future? Or is there a way to provide module signatures with the current module system?

[steveklabnik]

Never say never, but I'm not aware of anyone who's even working on thinking about suggesting it. That'd be step one, creating an RFC which thinks through the design.

[logicchains]

There's this: https://internals.rust-lang.org/t/traits-ml-modules/272, but it didn't seem to get anywhere.

[steveklabnik]

Right, that was just a few posts, a long time ago, and never really came close to being a serious proposal.