Decisions

• Value semantics with reference counting, no borrow checker
• Capabilities are the effect system
• No user-defined macros
• Call-style constructors instead of brace literals
• Capitalization is part of the language
• Trust is a flag on text, and plain String means trusted
• The interpreter runs the checker's checked program
• File access goes through confined capabilities, and Fs only attenuates
• oska-sys is the only crate allowed to use unsafe
• Packages are git URLs, resolved by minimal version selection
• Oska generates native code itself, with no external toolchain
• TLS, git and crypto are written in Oska
• Raw system calls are allowed only in std.rt