Yeah you can write a capability that encapsulates exactly whatever effects that you like!

Did this start as an effect system and then capabilities shook out naturally?

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.

▲

ch4s3 3 days ago | parent [-]

I’d love to read it!

▲

tome 3 days ago | parent [-]

Here you go! It's a complete document, but I'll continue to edit it over the next few days before I announce it. I'd love to hear any thoughts you have.

https://h2.jaguarpaw.co.uk/posts/bluefin-capability-system/

▲

ch4s3 a day ago | parent [-]

Awesome, I'll take a look and shoot you an email if I have anything interesting to say about it.

	▲	tome 12 hours ago \| parent [-]
		Cool, my contact details are on the front page of that site.