That's a cool project! It's fascinating that we both landed on efect-y capabilities with a faile closed system `hanki run --deny io` in hanki and `forge cap inspect ./build/myapp --deny IO.Network`[1] for binary audits in March. In general though March requires a compiled program to declare it's needs and errors on undeclared IO, etc.[2]
This is super interesting, I really like it. Actor concurrency with effects is not as broadly implemented as it should be.
This is super interesting, I really like it. Actor concurrency with effects is not as broadly implemented as it should be.
[1] https://march-lang.org/docs/capability-audit/#auditing-a-com...
[2] https://march-lang.org/docs/capabilities/#io-permission-caps
Is your source code online? I can't find it.