Raman Fedaseyeu werediver

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

Generate the list yourself:

$ cd /Applications/Xcode.app/Contents/Developer/Platforms/iPhoneOS.platform/Developer/SDKs/iPhoneOS*.sdk/System/Library/Frameworks/UIKit.framework/Headers
$ grep UI_APPEARANCE_SELECTOR ./*     | \
  sed 's/NS_AVAILABLE_IOS(.*)//g'     | \
  sed 's/NS_DEPRECATED_IOS(.*)//g'    | \
  sed 's/API_AVAILABLE(.*)//g'        | \
  sed 's/API_UNAVAILABLE(.*)//g'      | \
 sed 's/UI_APPEARANCE_SELECTOR//g' | \

	//
	// NSObject+BlockObservation.h
	// Version 1.0
	//
	// Andy Matuschak
	// [email protected]
	// Public domain because I love you. Let me know how you use it.
	//

	#import <Cocoa/Cocoa.h>

	# To check if this is up-to-date with the tax rates go to
	# http://www.expatax.nl/tax-rates-2016.php and see if there's anything
	# newer there.
	#
	# I make no guarantees that any of this is correct. I calculated this
	# at the time and have been updating it when new tax rates come along
	# because people keep finding this useful.
	#
	# There's also an interactive JS version of this created by
	# @stevermeister at

	// F#'s "pipe-forward" \|> operator
	//
	// Also "Optional-chaining" operators \|>! and \|>&
	//
	// And adapters for standard library map/filter/sorted

	infix operator \|> { precedence 50 associativity left }
	infix operator \|>! { precedence 50 associativity left }
	infix operator \|>& { precedence 50 associativity left }
	infix operator \|>* { precedence 50 associativity left }

	import Foundation

	typealias Forest = Tree[]

	protocol Tree {
	func parent() -> Tree?
	func nodes() -> Forest
	}

	func nodes(tree: Tree) -> Forest {

	Remove osxfuse if installed via homebrew:
	> brew uninstall osxfuse

	Install osxfuse binary and choose to install the MacFUSE compatibility layer:
	http://sourceforge.net/projects/osxfuse/files/latest/download?source=files

	Reboot (optional but recommended by osxfuse)

	Install ntfs-3g via homebrew:
	> brew update && brew install ntfs-3g

	#define let(name,value) const __typeof__ (value) name = value;
	#define var(name,value) __typeof__ (value) name = value;

	int main(int argc, char *argv[]) {
	let(x,3); // const int x = 3;
	var(y,5); // int y = 5;

	printf("x:%i y:%i",x,y); // -> x:3 y:5
	}