elizarov

import kotlin.coroutines.*
import kotlin.coroutines.intrinsics.*

/**
 * Implementation for Delimited Continuations `shift`/`reset` primitives via Kotlin Coroutines.
 * See [https://en.wikipedia.org/wiki/Delimited_continuation].
 *
 * The following LISP code:
 *
 * ```

sebfisch

Delimited Continuations

Delimited continuations manipulate the control flow of programs. Similar to control structures like conditionals or loops they allow to deviate from a sequential flow of control.

We use exception handling as another example for control flow manipulation and later show how to implement it using delimited continuations. Finally, we show that nondeterminism can also be expressed using delimited continuations.

Exception Handling

rednaxelafx

  1   b   java.lang.String::charAt (33 bytes)
  2   b   java.lang.Math::max (11 bytes)
  3   b   java.util.jar.Manifest$FastInputStream::readLine (167 bytes)
  4   b   sun.nio.cs.UTF_8$Decoder::decodeArrayLoop (553 bytes)
  5   b   java.util.Properties$LineReader::readLine (383 bytes)
  6   b   java.lang.String::hashCode (60 bytes)
  7   b   java.lang.String::indexOf (151 bytes)
  8   b   sun.nio.cs.ext.DoubleByteDecoder::decodeSingle (10 bytes)
  9   b   java.lang.String::lastIndexOf (156 bytes)
 10   b   java.lang.String::replace (142 bytes)