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
Filenames
User has a file: 😺
They type in the name:
"cat.jpg"
Program gets the name:
"cat.jpg"
Program opens the file: 😺