3 ms·
Is there anything in existence which has a version of this idea? It makes a ton of sense to me, but you are right that it would be practically impossible to do
by 0cf8612b2e1e 1y ago
Is there anything in existence which has a version of this idea? It makes a ton of sense to me, but you are right that it would be practically impossible to do in a current language.
- Smaug123 1y agoAustral, for example? https://austral-lang.org/spec/spec.html#rationale-cap https://austral-lang.org/spec/spec.html#rationale-cap
- crabmusket 1y agoAustral is a really cool experiment and I love how much effort was put into the spec which you've linked to. It explains the need for capabilities and linear types, and how they interact, really well.
- kibwen 1y agoYes, but you can't enforce this at the language level if your objective is security (at least not for natively-compiled languages). You need OS-level support for capabilities, which some OSes do provide (SeL4, Fuchsia). But if you're in a VM rather than native code then you can enforce capabilities, which is what Wasm does with WASI.
- martsa1 1y agoWasm + wasi let you define hard boundaries between components with explicit interfaces, might be loosely along these lines?
- metaltyphoon 1y ago.NET Framework, windows only, (non .NET, aka .NET Core)
- EE84M3i 1y agoCapslock for go https://github.com/google/capslock https://github.com/google/capslock