The examples provided in the article aren't especially compelling. These are capable of among other things, Prolog style nondeterministic choice and backtracki

The examples provided in the article aren't especially compelling. These are capable of among other things, Prolog style nondeterministic choice and backtracking. A more in depth introduction is here: https://www.eff-lang.org/handlers-tutorial.pdf https://www.eff-lang.org/handlers-tutorial.pdf (not really for 'the rest of us' - I struggled to understand this one, but found it interesting).