4 ms·
If you want this today, Haskell might be the only choice.
by loglog 1y ago
If you want this today, Haskell might be the only choice.
- tome 1y agoYes, 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 https://hackage.haskell.org/package/bluefin