Shower thought: can types be viewed as a subset of contracts?
miniblog.
Related Posts
Shower thought: using a tool like cargo-semver, could you build a package registry where the uploader never chooses the version number?
E.g. your last release was 5.2025-09-13 and you've just changed a type, so today's release is 6.2025-11-05.
Shower thought: Printing runtime values is far more useful for product types than sum types.
For a struct it's useful to see all the fields, but for a nullable int it's less useful to see 123.
Shower thought: presumably keyword length affects naming habits? Are programmers more willing to write verboseFunctionName if the keyword is `fn` rather than `function`?