3 ms·
Having hierarchies of effects/contexts in the same way we have hierarchies of exceptions would help. Also for practical reasons an escape to dynamic typing sho
by gpderetta 3y ago
Having hierarchies of effects/contexts in the same way we have hierarchies of exceptions would help.
Also for practical reasons an escape to dynamic typing should be provided (the equivalent of unchecked exceptions).
The real difficulty is finding the tradeoff point between too much annotation and too little, bit that's more of an art (or engineering) than CS.
- dotancohen 3y agoI would argue that such art is the essence of CS. It might be outside the purview of programming, but certainly within the purview of CS.