4 ms·
One interesting application of effect types ala Koka/PureScript is that they can model type-safe private exceptions that can only be caught by code that have fu
by fpoling 10y ago
One interesting application of effect types ala Koka/PureScript is that they can model type-safe private exceptions that can only be caught by code that have full access to implementation. In Haskell exceptions are unsafe and can trivially be used to subvert the type system.
- tome 10y ago> In Haskell exceptions are unsafe and can trivially be used to subvert the type system. That's news to me. Could you post a proof?