5 ms·
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
by tome 20d ago
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 20d agoThat’s not surprising there’s a lot of mechanical overlap between the two. It’s a really interesting relationship.
- tome 18d agoYeah, I think they're basically identical concepts. I'm writing an article on that topic right now.
- ch4s3 18d agoI’d love to read it!
- tome 18d agoHere 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/ https://h2.jaguarpaw.co.uk/posts/bluefin-capability-system/