A source for some more examples

[ohad]

Have a look at the introduction to Ken Shan's a static simulation of dynamic delimited control. He lists lots of cool uses of delimited control:

• backtracking search [references 11, 23, 59, 76].
• direct-style representations of monads [37-39].
• CPS [22-24]
• partial evaluation [6, 7, 10, 19, 29, 40, 46, 63, 82]
• web interactions [45, 70]
• mobile code (as I said before) [66, 74, 80]
• linguistics [8, 75].

If Bauer's thesis is true (delimited control : handlers ~ goto : while loops), we should be able to do some, or most, or all!, of these using effect handlers, but in a much more structured way. If some of these examples seem interested to you, I'm keen to look further into this.

[edofic]

So far we've only implemented backtracking search but I have hopes of implementing other ideas too.