Have you heard of wit? I suspect we'll see use outside of WebAssembly. https://component-model.bytecodealliance.org/design/wit.html It has non-nullable types, via option, which makes non-nullable the default, since you have to explicitly wrap it in option. https://component-model.bytecodealliance.org/design/wit.html... A way to represent types commonly found in major languages would be nice, but it would be better to…
That was a great read and it gave me several ideas. Thank you.