3 ms·
Sure, but now your program needs to use this library everywhere, or implement Monad transformers etc. to interoperate with existing code.
by wtetzner 4y ago
Sure, but now your program needs to use this library everywhere, or implement Monad transformers etc. to interoperate with existing code.
- thesz 4y agoI can make my own library, or modify the library given above, or write a wrapper - I have more choice than "use this concrete syntax rule for that kind of things". Moreover, values with effects are first class values, I can pass them, extend them, combine them, in some rare cases inspect them, abstractly interpret them, and last, but not least, evaluate them. Most often than not, this is not the case when they are language feature.