From d55e77387fd9cc3eae2f17a6c1993f3bcb061a60 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 6 Nov 2017 01:28:53 -0800 Subject: 4117 - done with delimited continuations At least this particular implementation of them. Let's play with them now for a while, see if they're fully equivalent to shift/reduce. --- 076continuation.cc | 6 ++++++ 1 file changed, 6 insertions(+) (limited to '076continuation.cc') diff --git a/076continuation.cc b/076continuation.cc index 5311fd67..76b6abc1 100644 --- a/076continuation.cc +++ b/076continuation.cc @@ -31,6 +31,12 @@ //: * 'return-continuation-until-mark' can take ingredients to return just //: like other 'return' instructions. It just implicitly also returns a //: continuation as the first result. See continuation4.mu. +//: * Conversely, you can pass ingredients to a continuation when calling it, +//: to make it available to products of 'return-continuation-until-mark'. +//: +//: Inspired by James and Sabry, "Yield: Mainstream delimited continuations", +//: Workshop on the Theory and Practice of Delimited Continuations, 2011. +//: https://www.cs.indiana.edu/~sabry/papers/yield.pdf //: //: Caveats: //: * At the moment we can't statically type-check continuations. So we raise -- cgit 1.4.1-2-gfad0 akkartik.com>

about summary refs log tree commit diff stats

path: root/tools/iso/kernel.soso/ttydriver.h

blob: 3dab6a4aee8a057de33d8bad7a472a190e0cbd68 (plain) (blame)