Post

I do think some sort of capabilities is the obvious next step for computing. Personally if I was doing this I would use inferred contextual parameters instead of global variables, that would make it easy to manage functions with lots of capabilities. paper.wf/binarycat/in...

paper.wfinferred implicit parameters for ergonomic object capabilitiesa system that elegantly provides the security benefits of an effect system and ocaps, while also being convenient to use. inspired by sc...

Interesting read, thanks. I think we need to strike a balance: having it to automated means that we stop paying attention and just pass on all capabilities down, always. Having it too manual will lead to the same situation..

0 reposts1 like

yeah, so my approach would be to have everything be inferred internally, but then at your public API boundary, you make all your entrypoints have explicitly annotated capabilities. that way if you want to add a capability, you only need to change the inner and out function, not the stuff between