1.
Introduction
1.1.
What is main?
1.2.
Filenames
1.3.
What problems does this cause?
2.
What's different about WebAssembly?
2.1.
Is WebAssembly Assembly?
2.2.
WebAssembly has a static type system
2.3.
Types
2.4.
Signatures
2.5.
Command-line usage
2.6.
Putting it all together
3.
Compatibility with existing code
3.1.
Option A: Out of the box
3.2.
Option B: Provide a witx description
3.3.
Option C: Typed Main in the source language
3.4.
Nameless
4.
Wrap up
4.1.
Current status
4.2.
Typed Main uses in WASI
Light (default)
Rust
Coal
Navy
Ayu
Typed Main for WASI
Option C: Typed Main in the source language
What if programming languages let you just write a
main
function which took arbitrary types?