5 ms·
That sounds very interesting, I'll check out the modelling of those side effects, that's something I would love to understand. Thanks.
by elcapitan 10y ago
That sounds very interesting, I'll check out the modelling of those side effects, that's something I would love to understand. Thanks.
- fpoling 10y agoOne 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?