Late reply but I just had to thank you for your comment, I had something close to an epiphany reading it!
Instead of dedicated syntax and language features like try-catch exceptions for things that can go wrong, ? for potentially absent values, just use a single, consistent abstraction that covers all use cases and doesn't require any syntax or language features at all. (=monads)
Comments
Late reply but I just had to thank you for your comment, I had something close to an epiphany reading it!
Instead of dedicated syntax and language features like try-catch exceptions for things that can go wrong, ? for potentially absent values, just use a single, consistent abstraction that covers all use cases and doesn't require any syntax or language features at all. (=monads)