Hacker News new | past | comments | ask | show | jobs | submit login

If you want this today, Haskell might be the only choice.



Yes, there is a sense in which Haskell's "effect systems" are "capability systems". My effect system, Bluefin, models capabilities as values that you explicitly pass around. You can't do I/O unless you have the "IOE" capability, for example.

https://hackage.haskell.org/package/bluefin




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: