Versioning of interfaces (modules)

[axic]

I'm working on Ewasm which tries to bring WebAssembly to Ethereum. We are evaluating how we could use WASI (core) or other modules.

As part of the design process we have realised that versioning is an important feature to have: ewasm/design#121

I wonder how WASI plans to solve versioning of its interfaces. I see some potential options:

• Would it be similar to Dynamic detection of host functionality #12 having a function to query the version?
• A system similar to glibc where either the namespace or the name has a pre/postfix? (This is option a) in the linked issue).
• A custom section listing interface version (This is option b) in the linked issue).
• Adding versioning to the wasm import sections themselves.

Probably there are other/better proposals. Was there any previous discussion about this topic?

[sbc100]

IIUC this is what is being discussed in #2. Or am I missing something?

[sunfishcode]

WASI now has versioning of interfaces, using a version number formatted within the module-name field of wasm imports. And the mechanism for querying interfaces is optional imports.