| ▲ | ch4s3 5 days ago |
| That looks really cool. Can you narrow Bluefin.IO to reads/writes separately? One of the things I've worked on is the ability to allow code to read files, even specific files, but deny writes. |
|
| ▲ | tome 5 days ago | parent [-] |
| Yeah you can write a capability that encapsulates exactly whatever effects that you like! |
| |
| ▲ | ch4s3 5 days ago | parent [-] | | Did this start as an effect system and then capabilities shook out naturally? | | |
| ▲ | tome 5 days ago | parent [-] | | Yes! It started as an implementation of the effect system I always wanted: effects passed on the value level, rather than implicitly on the type level. Once I'd done that I realise that it was actually a capability system (and that was the better way of describing it, because more people already know what a "capability system" is). | | |
| ▲ | ch4s3 4 days ago | parent [-] | | That’s not surprising there’s a lot of mechanical overlap between the two. It’s a really interesting relationship. | | |
| ▲ | tome 3 days ago | parent [-] | | Yeah, I think they're basically identical concepts. I'm writing an article on that topic right now. | | |
|
|
|
|
