Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
tome
7 months ago
|
parent
|
context
|
favorite
| on:
Rust’s dependencies are starting to worry me
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:
https://hackage.haskell.org/package/bluefin