Scala-ARM (Automatic-Ressource-Management) verwendet begrenzte Fortsetzungen
import java.io._
import util.continuations._
import resource._
def each_line_from(r : BufferedReader) : String @suspendable =
shift { k =>
var line = r.readLine
while(line != null) {
k(line)
line = r.readLine
}
}
reset {
val server = managed(new ServerSocket(8007)) !
while(true) {
// This reset is not needed, however the below denotes a "flow" of execution that can be deferred.
// One can envision an asynchronous execuction model that would support the exact same semantics as below.
reset {
val connection = managed(server.accept) !
val output = managed(connection.getOutputStream) !
val input = managed(connection.getInputStream) !
val writer = new PrintWriter(new BufferedWriter(new OutputStreamWriter(output)))
val reader = new BufferedReader(new InputStreamReader(input))
writer.println(each_line_from(reader))
writer.flush()
}
}
}
ein nit: CPS (Fortsetzungsübertragungsstil) etwas ist, das in jeder Sprache möglich ist, das hat oder simulieren Funktionen höherer Ordnung. Wenn Sie beispielsweise ein Callback-Objekt an eine Methode in Java übergeben, ist dies ein Beispiel für CPS. Scalas * delimited continuations * plugin bietet eine Möglichkeit, Kontrollstrukturen zu schreiben, die syntaktisch wie "direkter Stil" aussehen, aber hinter den Kulissen in CPS transformiert werden. –