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 11 hours ago \| parent [-]
		Cool, my contact details are on the front page of that site.